aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-08-03 10:52:54 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-08-03 10:52:54 +0200
commit5f010bb45851d335136369e70f71903c394e9a48 (patch)
tree468791f9f318ea1095be11d814afecd9e3713bdc /doc/.gitignore
parent4b4d7a0fd5c21815f4902d6527cb1eaf13b233f7 (diff)
Add -V option as equivalent to --verbose 3
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions