projects / users / c2main / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1eb7cb2) | patch
Remove pgrminclude and associated scripts
authorPeter Eisentraut <peter@eisentraut.org>
Tue, 24 Dec 2024 13:02:42 +0000 (14:02 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Tue, 24 Dec 2024 13:02:42 +0000 (14:02 +0100)
commit5af699066f81547aa75c093544fbd57289d30284
tree56cb18424cb8b65cd246e120abf06c8f13cc3866tree
parent1eb7cb21c2a2c9091bc4cdf09d37d68559af8a7dcommit | diff
Remove pgrminclude and associated scripts

Per git log, the last time someone tried to do something with
pgrminclude was around 2011.  And it's always had a tendency of
causing trouble when it was active.  Also, pgcominclude is redundant
with headerscheck.

Discussion: https://www.postgresql.org/message-id/flat/2d4dc7b2-cb2e-49b1-b8ca-ba5f7024f05b%40eisentraut.org
src/tools/pginclude/README diff | blob | blame | history
src/tools/pginclude/pgcheckdefines [deleted file] blob | blame | history
src/tools/pginclude/pgcompinclude [deleted file] blob | blame | history
src/tools/pginclude/pgdefine [deleted file] blob | blame | history
src/tools/pginclude/pgfixinclude [deleted file] blob | blame | history
src/tools/pginclude/pgrminclude [deleted file] blob | blame | history
Cedric's Stuff