0xb00bface 12899cac4c Fix bug in precondition check, which caused recordings to get restarted ... The bug occured when model groups were used in combination with priorities.		2021-06-04 15:49:47 +02:00
..
.settings	Change context menu behavior to make sense with bookmarked models	2021-01-09 12:45:38 +01:00
src	Fix bug in precondition check, which caused recordings to get restarted	2021-06-04 15:49:47 +02:00
.classpath	Change context menu behavior to make sense with bookmarked models	2021-01-09 12:45:38 +01: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.3.1	2021-05-16 11:40:09 +02:00