- 26 Feb, 2018 1 commit
-
-
Karl Hasselbring authored
-
- 09 Mar, 2017 1 commit
-
-
Dominik Hebeler authoredDIe Zeichenkodierung der Quellendatei war falsch. Habe die Gelegenheit genutzt, um die Zitatsuche ins neue Interface zu überführen.
-
DIe Zeichenkodierung der Quellendatei war falsch. Habe die Gelegenheit genutzt, um die Zitatsuche ins neue Interface zu überführen.