git-annex/CmdLine/GitAnnex
Joey Hess fa65f1d240
fix --json-progress --json to be same as --json --json-progress
Fix behavior of --json-progress followed by --json, in which
the latter option disabled the former.

This commit was supported by the NSF-funded DataLad project.
2018-02-19 14:12:15 -04:00
..
Options.hs fix --json-progress --json to be same as --json --json-progress 2018-02-19 14:12:15 -04:00