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 eb0f0673bb update some permissions		2017-06-04 17:11:47 +02:00
..
1_sem	add all the current files	2017-05-08 20:47:27 +02:00
install_monodevelop.sh	update some permissions	2017-06-04 17:11:47 +02:00