diff options
| author | Bruce Momjian <bruce@momjian.us> | 2006-07-12 16:28:27 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2006-07-12 16:28:27 +0000 |
| commit | 99ac1e69ba750c40cc83e344a1eb65aaa325a296 (patch) | |
| tree | 9571072ca046778ff687774bed2fc5b95883cb1c /src/backend/optimizer/util | |
| parent | de7e81fff411899dc1905c5085473ae9d4283230 (diff) | |
Fix pgrminclude to work for stripping include files.
Diffstat (limited to 'src/backend/optimizer/util')
0 files changed, 0 insertions, 0 deletions