Merge pull request #10682 from tobiasd/20210909-docs
authorMichael Vogel <icarus@dabo.de>
Thu, 9 Sep 2021 10:59:13 +0000 (12:59 +0200)
committerGitHub <noreply@github.com>
Thu, 9 Sep 2021 10:59:13 +0000 (12:59 +0200)
commit3cceb5ba6fb877f54235ec491aa79104135f73e9
tree3d46535a532c02f1efeb751f5be23997ff80c4c1
parent43fe1341f97efea1a4ad118fc14b2d340c3ac5a7
parentacabaf4df79981d040580dbf0cfc36dacfbb79cd
Merge pull request #10682 from tobiasd/20210909-docs

update to the INSTALL documentation