diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2022-11-07 07:08:46 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-11-08 11:08:03 +0200 |
| commit | 79ee1b724a324e65c21a59f066bda5053306727a (patch) | |
| tree | 410e38f1c2b7e5e226e81245d017de1a8969fc28 /doc/pre-box.css | |
| parent | cc9337a5877b0164e97f30ba4814aff906f01c4e (diff) | |
Tweak match progress reporting for serial execution
Diffstat (limited to 'doc/pre-box.css')
0 files changed, 0 insertions, 0 deletions