aboutsummaryrefslogtreecommitdiff
path: root/docs/reference/print.mkinds.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2020-12-09 09:22:25 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2020-12-09 09:22:25 +0100
commitc51fe964d66303f531d6b593b6fe46bdfacb13b4 (patch)
tree5a1474bb46c285e690f9afbcafb3ca48ec59c88f /docs/reference/print.mkinds.html
parent0517ca6179d3c4bc35cc7edcfd5de3d98aa4fd64 (diff)
Some more tests that may work on travis now
Diffstat (limited to 'docs/reference/print.mkinds.html')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint