diff options
| author | Peter Eisentraut | 2024-12-24 13:02:42 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2024-12-24 13:02:42 +0000 |
| commit | 5af699066f81547aa75c093544fbd57289d30284 (patch) | |
| tree | 56cb18424cb8b65cd246e120abf06c8f13cc3866 /src/tutorial | |
| parent | 1eb7cb21c2a2c9091bc4cdf09d37d68559af8a7d (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
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions