Files
gobyexample/vendor/pygments/tests/examplefiles/coq_RelationClasses