diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2020-05-20 08:22:27 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-05-27 08:33:48 +0200 |
| commit | aae1d0fd9c98f6b562b28b4c802803bad7c6dce6 (patch) | |
| tree | 51a8cc5e4501a2559caa52982598789677179cc3 /config | |
| parent | 8c0b503ea67abe6fe9483b85d4a1d7f379ee8a1d (diff) | |
Suppress skip count diagnostics if no progress was requested
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions