diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-02-21 10:40:41 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-02-21 10:40:41 +0200 |
commit | a63b31e2469ecf5977260355dc3a6c826facbf68 (patch) | |
tree | 2999038cfb805dc6cd1d8d676b9588029c1b991a /doc/doc.html2ps | |
parent | 0dc03d406a9958adb27ff49f568685f6e80f01ce (diff) |
Make dist diagnostics less noisy at verbosity level 1
Diffstat (limited to 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions