Merge branch 'master' into 'master'
some cleanup See merge request h44z/cfgs!1

some cleanup See merge request h44z/cfgs!1
2018-11-30 23:19:15 +01:00 · 2018-09-06 10:31:32 +02:00 · 2018-11-30 19:11:46 +01:00 · 2018-09-05 10:36:14 +02:00 · 2018-09-05 10:36:14 +02:00
diff --git a/Christoph Haas b/Christoph Haas