anhefti cc14f47b77 production		2019-08-27 10:36:43 +02:00
..
java/ch/ethz/seb/sebserver	prepare prod with application properties	2019-08-27 09:13:33 +02:00
resources	production	2019-08-27 10:36:43 +02:00