diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2021-06-12 11:05:24 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-06-12 11:05:24 +0200 |
| commit | 88cf130615a6cde0c4e65d14db32fed7f6e43085 (patch) | |
| tree | ac1ac824277825446b599f131d72b49a78677c7c /check.log | |
| parent | 8bf6bd4289f1a0618376406a6a44dd99aedc692f (diff) | |
Small cosmetics
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions