This repository has been archived on 2020-04-03. You can view files and clone it, but cannot push or open issues or pull requests.

Andreas Zweili aba6ed6ffe add a script to install monodevelop		2017-05-19 19:34:04 +02:00
..
1_sem	add all the current files	2017-05-08 20:47:27 +02:00
install_monodevelop.sh	add a script to install monodevelop	2017-05-19 19:34:04 +02:00