Remove remnants of old syntax highlighting#39

gares merged 1 commit into

LPCIC:masterLPCIC/elpi-lang:masterfrom

VojtechStep:cleanup-highlightVojtechStep/elpi-lang:cleanup-highlightCopy head branch name to clipboard