Skip to content
Snippets Groups Projects
user avatar
Peter Eisentraut authored
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.
7d754961
History
Name Last commit Last update