projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b3e769) | patch
Delete the `remove-old-headers' target, as it is no longer useful. Patch
authorNeil Conway <[email protected]>
Tue, 9 Nov 2004 06:23:50 +0000 (06:23 +0000)
committerNeil Conway <[email protected]>
Tue, 9 Nov 2004 06:23:50 +0000 (06:23 +0000)
commitf5ef59cf9c57fa59505129e7a61989ba67aeb9f6
tree23f87e133c99dafc6f2e44a4c1c79161f123a804tree
parent1b3e769682141a7c954f5c1603756d10fe57b667commit | diff
Delete the `remove-old-headers' target, as it is no longer useful. Patch
from Alvaro Herrera.
src/include/Makefile diff | blob | blame | history
This is the main PostgreSQL git repository.