aboutsummaryrefslogtreecommitdiff
path: root/check.log
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-02-27 13:40:05 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2019-02-27 13:40:05 +0100
commit3faf5bc087a4569e5b40f60b9349ad264654040b (patch)
tree59fd9288fb0da13ba988f75cb9616846cb3d4b4b /check.log
parent06327bc9d4269e2c8652c9af8cb038fe097729f3 (diff)
Fix test for mkinds printing
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint