0xb00bface 38b898f405 Add setting to customize the date time format in the GUI		2021-12-24 15:38:29 +01:00
..
.settings	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
src	Add setting to customize the date time format in the GUI	2021-12-24 15:38:29 +01:00
.classpath	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
.gitignore	Add idea project files to .gitignore	2020-11-21 19:20:01 +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 4.7.0	2021-12-21 22:07:10 +01:00