Antonin Delpeuch 726960b410 Merge branch 'master' into replaceGUI		2018-10-14 22:12:25 +01:00
..
modules/core	Merge branch 'master' into replaceGUI	2018-10-14 22:12:25 +01:00
WEB-INF	Revert "Migrate to Maven"	2018-09-16 10:16:50 -04:00