michael 96ffe4fa79 Bug 171: Marker verschwinden jetzt, wenn man "Speichern" drückt.		2020-03-21 17:04:15 +01:00
..
pom.xml	Bug 171: Marker verschwinden jetzt, wenn man "Speichern" drückt.	2020-03-21 17:04:15 +01:00