aboutsummaryrefslogtreecommitdiff
path: root/check.log
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2020-12-09 10:05:00 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2020-12-09 10:05:00 +0100
commit107ddb89a4a6e0e15d9f82eafcf9eebecf4904ba (patch)
tree964c72141c0376f44ccd81ca5c77fc157d7eff69 /check.log
parentf33ce936323d9afc884f9254fb57d19744cadf75 (diff)
Make tests more robust, remove two redundant ones
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint