mirror of
https://github.com/postgres/postgres.git
synced 2025-07-24 14:22:24 +03:00
This serves as implicit documentation and is handy if someone wants to tweak things. The rules are not part of a normal build, like this entire directory.