tree aa131af5bbcb80c434bfae229d077c59bd43d787
parent 22d1f7b147824bad92bcae3402d5ffa716882e74
author baunsgaard <baunsgaard@tugraz.at> 1603281873 +0200
committer baunsgaard <baunsgaard@tugraz.at> 1603281873 +0200

[MINOR] Main readme cleanup