Translations:Extension:SyntaxHighlight/1352/de

Idris (inkl. Literate Idris)