mirror of
https://github.com/postgres/postgres.git
synced 2025-11-22 00:10:07 -05:00
Most people won't read them individually anyway, it's an easy way to find them, and it's a lot of duplicated information if they are kept in two different places.