diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-11-13 16:22:17 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-11-13 16:22:35 +0100 |
| commit | b0e529ff49dfa52568fe7c5e6e76439a83c62840 (patch) | |
| tree | fc9052f2e1c561f5c6553716b40f2a5d71cfde5c /check.log | |
| parent | f6385b071cee2c261da28bf98fd1599da1a30ddb (diff) | |
Improve citation
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions