diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2018-09-06 13:55:55 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2018-09-06 13:55:55 +0200 |
| commit | 3933c80d234d3e4fd6f40667b147d77efb7cb4c1 (patch) | |
| tree | f69627c520f43d5b3a78e586ed604d4d06a5118d /docs/reference/print.mkinds.html | |
| parent | e1ccb85d60802be5e4848ceec0637483753ad8c3 (diff) | |
Typo
Diffstat (limited to 'docs/reference/print.mkinds.html')
0 files changed, 0 insertions, 0 deletions