tree dc4f833e742176eca146c8a87543d4f24c0853c8
parent c436af04f5ff28604ff2a72cea46a0736084a50d
author baunsgaard <baunsgaard@tugraz.at> 1603199774 +0200
committer baunsgaard <baunsgaard@tugraz.at> 1603199774 +0200

[MINOR] Second fix for install guide