diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-22 14:14:22 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-22 14:14:22 +0100 |
| commit | 8e953c409e0020ea7e7c2a5121019c42cb66dde4 (patch) | |
| tree | 73b89b170ea201e2130c4e44ea83e0c6882bfae9 /docs/reference/mkinds.html | |
| parent | e99b46a2020a6b6578b0c3c88c17d5980e4d921a (diff) | |
Update and improve README
Diffstat (limited to 'docs/reference/mkinds.html')
0 files changed, 0 insertions, 0 deletions