tree 9235def839e353ecdf5ce9308b1bd6b61601b4b9
parent 35c8f2e17de8c097bcb282c50446f8d85eea8163
author Thomas Klausner <tk@giga.or.at> 1592933721 +0200
committer Thomas Klausner <tk@giga.or.at> 1592933721 +0200

Simplify installation.