mirror of
https://github.com/postgres/postgres.git
synced 2025-10-30 00:04:49 -04:00
Temporarily re-add derived files, in hopes of straightening out their CVS status.
This commit is contained in:
parent
2ee5d945f9
commit
91c62e211b