mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-15 02:46:59 +08:00
the trailing "-1". This makes a cleaner html output file name. Clean up a few refpurpose fields.
the trailing "-1". This makes a cleaner html output file name. Clean up a few refpurpose fields.