aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/reference/tex_listing.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-01-05 15:03:06 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2023-01-05 15:03:06 +0100
commita5903e74d9cf54c764d5bbc48e461cecd5f56e72 (patch)
tree158308fb452e92b47e56259110febe6ffa63e629 /docs/dev/reference/tex_listing.html
parenta583cd7e3eecef4c70ac09304495c765a84e76ce (diff)
Don't preschedule multistart runs
Sometimes a lot of them fail, so we were wasting time
Diffstat (limited to 'docs/dev/reference/tex_listing.html')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint