mirror of
https://github.com/postgres/postgres.git
synced 2025-12-15 02:22:24 +03:00
This doesn't really matter for ordinary building of Postgres, but it's useful for automated checks, such as my just-committed pgcheckdefines.
449 B
449 B