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 /old-tests/variable/type-pattern | |
parent | 8c0b503ea67abe6fe9483b85d4a1d7f379ee8a1d (diff) |
Suppress skip count diagnostics if no progress was requested
Diffstat (limited to 'old-tests/variable/type-pattern')
0 files changed, 0 insertions, 0 deletions