From 59740d2273ba19a1abdee84a345b5d50a9b007c4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Sun, 3 Mar 2019 12:46:22 +0000 Subject: Add .gitAttributes --- .gitattributes | 1 + 1 file changed, 1 insertion(+) create mode 100644 .gitattributes (limited to '.gitattributes') diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..3d990ca --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +bugs/*.v linguist-vendored=true -- cgit