Syntax highlighting for .v files in Gitlab.

7a6874f2 · Robbert Krebbers · 4b90e550 · 7a6874f2
Commit 7a6874f2 authored Mar 29, 2019 by Robbert Krebbers
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