tree 95c77bad493b20206547b70c89b7bdaead3ad386
parent 13c986a29f9f909106e849f99e046bc48f7f3ce3
author Marc Kupietz <kupietz@ids-mannheim.de> 1713156668 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1713157234 +0200

Ignore highlighting for "regular" classes