diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2019-03-14 22:03:14 +0100 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2019-03-14 22:03:14 +0100 |
| commit | 8bee36708f6ee4bf93be68f9a368379b0e9c6474 (patch) | |
| tree | 3d4dddab359b741849796db8b12d96b6781f4cb4 /src/backend/optimizer/util | |
| parent | b13a913607b9b304d16029361b1b17e10783cf7c (diff) | |
Remove unused #include
Diffstat (limited to 'src/backend/optimizer/util')
0 files changed, 0 insertions, 0 deletions