tree 7ee628d757cf2fc32327e2117a7dac329ae7a7a3
parent 209358ebf916e8c0b3747f43f2a4397225e96933
author Zesstra <zesstra@zesstra.de> 1488211888 +0100
committer MG Mud User <mud@mg.mud.de> 1488211888 +0100

Sprache auf de umgestellt

Ausserdem pike als default-Sprache fuers Highlighting
gesetzt.

Change-Id: Id52560c7fec5d357226a0613ded7d190966bc753