diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-12-10 20:46:05 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-12-10 20:46:05 +0100 |
| commit | 49d80b149ec36eb967cb6da3a8b6726e48bf0ecc (patch) | |
| tree | 7be6e8f59b64dcd4ccda4eca83786c58ce488c07 /docs/reference/mkinds.html | |
| parent | 7ea467e0e0ba5bf51540b26e197869a58ed1a092 (diff) | |
Update and amend the README
Diffstat (limited to 'docs/reference/mkinds.html')
0 files changed, 0 insertions, 0 deletions