mirror of
https://github.com/postgres/postgres.git
synced 2026-01-05 23:38:41 +03:00
This is pretty much a workaround for incomplete tools, but having the man page names in upper case looks more natural anyway.
This is pretty much a workaround for incomplete tools, but having the man page names in upper case looks more natural anyway.