Translations:Extension:SyntaxHighlight/1352/cs

Idris (včetně Literate Idris)