0xb00bface 4ad492721f Add check to the recorder, if a model is ignored ... Ignored models will not be added. Instead a ModelIsIgnoredException will be thrown		2023-02-11 20:23:01 +01:00
..
.settings	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
src	Add check to the recorder, if a model is ignored	2023-02-11 20:23:01 +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.17	2023-02-10 15:31:30 +01:00