tree 9238ffd2ca38af7ab0e0ccdefc1abec4eb30201d
parent e20b5ad1f55025260323ee8b40467ffdca72bf77
author baunsgaard <baunsgaard@tugraz.at> 1594912003 +0200
committer baunsgaard <baunsgaard@tugraz.at> 1594912003 +0200

[MINOR] Fix docs at currently failing locations