aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-02-21 10:40:41 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-02-21 10:40:41 +0200
commita63b31e2469ecf5977260355dc3a6c826facbf68 (patch)
tree2999038cfb805dc6cd1d8d676b9588029c1b991a /doc/.gitignore
parent0dc03d406a9958adb27ff49f568685f6e80f01ce (diff)
Make dist diagnostics less noisy at verbosity level 1
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions