0xb00bface b6e4bad837 Fixed bug in JSON parsing ... Some models wouldn't get recorded, because of a missing element in the JSON doc		2020-08-08 21:23:38 +02:00
..
.settings	Set versions in maven POMs	2019-11-23 17:14:44 +01:00
src	Fixed bug in JSON parsing	2020-08-08 21:23:38 +02:00
.classpath	Change folder structure to maven conventions	2018-11-18 22:49:05 +01:00
.gitignore	Split up project into client, server, common and master	2018-11-18 22:42:13 +01:00
.project	Split up project into client, server, common and master	2018-11-18 22:42:13 +01:00
pom.xml	Set version to 3.8.4	2020-07-26 15:42:36 +02:00