Philipp Schaefer 0d852b5043 got rid of iitc source setting
* the developer mode makes it pretty much useless
* it's broken since the new fileManager was introduced. nobody complained that it doesn't work -> nobody uses this feature.
2014-01-22 16:15:54 +01:00
..
2014-01-03 20:06:37 +01:00
2014-01-22 16:15:54 +01:00
2013-03-29 13:55:46 +01:00
2014-01-22 16:15:54 +01:00