diff options
author | Tom Lane | 2004-05-22 02:14:28 +0000 |
---|---|---|
committer | Tom Lane | 2004-05-22 02:14:28 +0000 |
commit | 4fb9aa43f6773af4b34b9507f0b6e12f08546f97 (patch) | |
tree | 239b2748fe53f2368eef843fe0cd4ea802ab9515 /doc/src | |
parent | 398386943936fbf66291ae3c6ed307779e4b90e4 (diff) |
Clean up failure to remove exec.o on 'make clean'.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions