diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-27 13:40:05 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-27 13:40:05 +0100 |
| commit | 3faf5bc087a4569e5b40f60b9349ad264654040b (patch) | |
| tree | 59fd9288fb0da13ba988f75cb9616846cb3d4b4b /check.log | |
| parent | 06327bc9d4269e2c8652c9af8cb038fe097729f3 (diff) | |
Fix test for mkinds printing
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions