From 0a00e01db267619c68ca223de2ba6b160163e6b6 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 15 Sep 2021 16:05:31 +0100 Subject: Fix linguist-vendored for repository statistics --- .gitattributes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.gitattributes') diff --git a/.gitattributes b/.gitattributes index 30dd12d..8c19733 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,4 +1,4 @@ *.h linguist-language=C *.c linguist-language=C *.v linguist-language=Coq -benchmarks/* linguist-vendored +benchmarks/** linguist-vendored -- cgit