Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Sophie Quinton
rt-proofs
cb02d63e66550e45a9412675915ac1a1471fad43
cb02d63e66550e45a9412675915ac1a1471fad43
Switch branch/tag
rt-proofs
.gitattributes
Find file
Normal view
History
Permalink
.gitattributes
24 Bytes
Edit
Web IDE
Newer
Older
Give Gitlab a hint how to highlight our Prosa code
Björn Brandenburg
committed
Oct 12, 2018
1
*.v gitlab-language=coq
