0xb00bface 0e4957e4c7 Make a backup of the config directory on startup ... On each start the config is backed up in a separate directory. 5 backups are kept, older backups get deleted.		2022-11-12 18:19:45 +01:00
..
.settings	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
src	Make a backup of the config directory on startup	2022-11-12 18:19:45 +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.13	2022-10-22 15:17:15 +02:00