aboutsummaryrefslogtreecommitdiff
path: root/doc/pre-box.css
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2022-11-07 07:08:46 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2022-11-08 11:08:03 +0200
commit79ee1b724a324e65c21a59f066bda5053306727a (patch)
tree410e38f1c2b7e5e226e81245d017de1a8969fc28 /doc/pre-box.css
parentcc9337a5877b0164e97f30ba4814aff906f01c4e (diff)
Tweak match progress reporting for serial execution
Diffstat (limited to 'doc/pre-box.css')
0 files changed, 0 insertions, 0 deletions