aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/reference/mkinds.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2022-11-01 14:16:21 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2022-11-01 14:16:21 +0100
commit630e657f1794ea441afc9ff10663309fec5e847e (patch)
tree6f09ad8413f0a8c23f0b21e5067b4fccb183056e /docs/dev/reference/mkinds.html
parenta787e5266628f859fd70454c5419721efa494887 (diff)
Update online docs
Diffstat (limited to 'docs/dev/reference/mkinds.html')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint