Resolve "Update installation instructions"
Compare changes
- schmittu authored
+ 9
− 8
@@ -10,9 +10,11 @@ set -e
@@ -37,16 +39,15 @@ done
Closes #50 (closed)
50-update-installation-instructions
CONTRIBUTING.md
add info on how to update PROD repo (currently at gitlab.ethz.ch)