Sebastian Hugentobler 7219f3f4b2 make scripts executable		2017-09-05 12:23:07 +02:00
..
bin	make scripts executable	2017-09-05 12:23:07 +02:00
etc	correct variables in run script	2017-09-05 12:11:15 +02:00