diff options
| author | Bruce Momjian <bruce@momjian.us> | 2004-03-16 05:05:58 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2004-03-16 05:05:58 +0000 |
| commit | 40f456ce56d86c9d4efeda9a9936e340602269de (patch) | |
| tree | ba93b03c521aecbfebd2fea3a6ae3ed5788d3ab4 /src/include/executor/execdesc.h | |
| parent | e2d8c1b2bb79b2c06f6522d046b089ae421c9345 (diff) | |
Remove double-rename used by Win32 on busy files. Not needed anymore.
Diffstat (limited to 'src/include/executor/execdesc.h')
0 files changed, 0 insertions, 0 deletions