diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2022-04-15 12:43:32 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-04-15 12:43:32 +0200 |
| commit | 56e38cffbd730e66261d9da29c8da91d39ebb167 (patch) | |
| tree | feee6994f577b5e11bc306658577dc0a9a8bd502 /old-tests/semantics | |
| parent | f734a7f482d43e5d09c5ece5abdee40ba376c617 (diff) | |
Tweak match progress display parameters
Diffstat (limited to 'old-tests/semantics')
0 files changed, 0 insertions, 0 deletions