Fix GitHub misidentifying *.v files as Coq.
authorwhitequark <whitequark@whitequark.org>
Fri, 19 Jun 2020 06:08:18 +0000 (06:08 +0000)
committerwhitequark <whitequark@whitequark.org>
Fri, 19 Jun 2020 06:08:18 +0000 (06:08 +0000)
.gitattributes [new file with mode: 0644]

diff --git a/.gitattributes b/.gitattributes
new file mode 100644 (file)
index 0000000..f85ae06
--- /dev/null
@@ -0,0 +1 @@
+*.v linguist-language=Verilog