Give Gitlab a hint how to highlight our Prosa code

cb02d63e · Björn Brandenburg · 726288f3 · cb02d63e
Commit cb02d63e authored Oct 12, 2018 by Björn Brandenburg
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

.gitattributes .gitattributes +1 -0

No files found.
--- a/.gitattributes
+++ b/.gitattributes
+*.v gitlab-language=coq