michael 32f3baf995 Marker verschwinden jetzt beim Speichern.		2020-03-17 07:46:54 +01:00
..
JavaCompilerPlugin.Plugin	Marker verschwinden jetzt beim Speichern.	2020-03-17 07:46:54 +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