diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2018-11-23 00:29:35 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2018-11-23 00:29:35 +0100 |
| commit | b2e3fa2be6a10c29030d04edfdaf7d47d9bddcee (patch) | |
| tree | 171f9447ce504051f78fcdeabb7395a006fe1467 /docs/reference | |
| parent | 89b185c58b7a7328d11c70c5afff1e377a69eeef (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