remove github from link to INSTALL.txt
While this was done in #1212 (closed) by @mario for the dev
branch, it's still pointing to github on master
, which is the default branch.
Maybe instead of merging this small merge request (which changes README.txt
only), it would be better to cherry-pick b05e7943?
Edited by Herbert Thielen