aboutsummaryrefslogtreecommitdiff
path: root/docs/reference/mkinds.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-12-10 20:46:05 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2019-12-10 20:46:05 +0100
commit49d80b149ec36eb967cb6da3a8b6726e48bf0ecc (patch)
tree7be6e8f59b64dcd4ccda4eca83786c58ce488c07 /docs/reference/mkinds.html
parent7ea467e0e0ba5bf51540b26e197869a58ed1a092 (diff)
Update and amend the README
Diffstat (limited to 'docs/reference/mkinds.html')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint