tree b1a486b361e5ef50fab558491beb8fc9667ccdf2
parent cfe52420d091d620ebd2823b5276871aba69734b
author baunsgaard <baunsgaard@tugraz.at> 1592492903 +0200
committer baunsgaard <baunsgaard@tugraz.at> 1592507067 +0200

[MINOR] Fix paths to resources docs