mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 07:27:36 +08:00
getopt_long() allows abbreviating long options, so we might as well give the option the full name, and users can abbreviate it how they like. Do some general polishing of the --help output at the same time.