From 9c6a88c1d3896f30874a4965b98b33de6b98838a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 20 Jul 2020 11:51:34 +0100
Subject: Add .gitattributes

---
 .gitattributes | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitattributes

(limited to '.gitattributes')

diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 0000000..5076ac1
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1,3 @@
+*.h linguist-language=C
+*.c linguist-language=C
+*.v linguist-language=Coq
-- 
cgit