chore: identify *.vy files as Coq files

Beluga-lang · Mar 5, 2023 · dca995c · dca995c
1 parent 39615c2
commit dca995c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1,2 @@
+# Explicitly state language of *.vy files as Coq
+*.vy linguist-language=Coq