Christoph Cullmann 7f50f6106d port changes from kate-editor.org		2019-08-03 22:41:09 +02:00
..
beautifulhugo	port changes from kate-editor.org	2019-08-03 22:41:09 +02:00