Sven Fuchs 29e8bb5633 do not rerun in dev mode for now		2013-02-22 17:09:04 +01:00
..
ci	Use bash for script/ci	2012-12-11 21:44:48 +01:00
server	do not rerun in dev mode for now	2013-02-22 17:09:04 +01:00