aboutsummaryrefslogtreecommitdiff
path: root/docs/reference/mkinds.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-11-25 07:57:14 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2023-11-25 07:57:14 +0100
commita08726719217135455e571e00e4eb165712d6221 (patch)
tree8f56e4d8f1f1f0b4f25db6ad123baf7d27627d53 /docs/reference/mkinds.html
parent43af185533b11327368148a44e9295ea3eb3abb1 (diff)
Bump the date to trigger build on Travis
They refilled my credits, thanks for that!
Diffstat (limited to 'docs/reference/mkinds.html')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint