Fix GitHub misidentifying *.v files as Coq.
This commit is contained in:
1
.gitattributes
vendored
Normal file
1
.gitattributes
vendored
Normal file
@@ -0,0 +1 @@
|
||||
*.v linguist-language=Verilog
|
||||
Reference in New Issue
Block a user