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/.gitignore | |
| parent | 0dc03d406a9958adb27ff49f568685f6e80f01ce (diff) | |
Make dist diagnostics less noisy at verbosity level 1
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions