Resolve "Update installation instructions"
Compare changes
Files
2- Mikolaj Rybinski authored
Install.md deleted
100644 → 0
+ 0
− 32
Closes #50 (closed)
50-update-installation-instructions
CONTRIBUTING.md
add info on how to update PROD repo (currently at gitlab.ethz.ch)