summaryrefslogtreecommitdiff
path: root/doc/man
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-04-03 11:23:02 +0200
committerChristian Grothoff <christian@grothoff.org>2019-04-03 11:23:02 +0200
commit93ec9874d03589b4f67ce58c7f36d69d5eaee1fe (patch)
tree5aad81c3a041bc1b05e471aa70d364a50d64131d /doc/man
parentdec59b98f84b1f3d515e1a2322ff44dfd250620e (diff)
fix verbosity option
Diffstat (limited to 'doc/man')
0 files changed, 0 insertions, 0 deletions