michael 96ffe4fa79 Bug 171: Marker verschwinden jetzt, wenn man "Speichern" drückt.		2020-03-21 17:04:15 +01:00
..
JavaCompilerPlugin.Plugin	Bug 171: Marker verschwinden jetzt, wenn man "Speichern" drückt.	2020-03-21 17:04:15 +01:00
.gitignore	Updated *.gitignore for IntelliJ settings.	2018-12-09 10:49:46 +01:00
pom.xml	Build-Korrektur: Jar-Bibliotheken werden jetzt vor dem build kopiert.	2019-12-02 15:41:06 +01:00