aboutsummaryrefslogtreecommitdiff
path: root/docs/reference
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2018-11-23 00:29:35 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2018-11-23 00:29:35 +0100
commitb2e3fa2be6a10c29030d04edfdaf7d47d9bddcee (patch)
tree171f9447ce504051f78fcdeabb7395a006fe1467 /docs/reference
parent89b185c58b7a7328d11c70c5afff1e377a69eeef (diff)
Improve initialisation of mkinds
Check in work from the beginning of the week
Diffstat (limited to 'docs/reference')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint