diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2018-03-05 11:27:08 -0500 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2018-03-05 11:27:08 -0500 |
| commit | dd9ed0bf7039eb2b97d9afa198409c0e9798f4ac (patch) | |
| tree | 862b71399b3144f972f18d32675edf8d52e53d65 /src/include/executor | |
| parent | 6946280cded903b6f5269fcce105f8ab1d455d33 (diff) | |
doc: Tiny whitespace fix
Diffstat (limited to 'src/include/executor')
0 files changed, 0 insertions, 0 deletions