git-annex/CmdLine/GitAnnex
Joey Hess 7af0893abd improve global options display in --help
Put them in the help of subcommands, not the main command.

And, hide them from the synopsis, to avoid cluttering it.
2015-07-10 02:18:08 -04:00
..
Options.hs improve global options display in --help 2015-07-10 02:18:08 -04:00