From 1cc5a458f28ad44919c9bfafbd5191c253e453e2 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 20 Jul 2020 11:54:58 +0100 Subject: Add dhrystone to benchmarks --- .gitattributes | 1 + 1 file changed, 1 insertion(+) (limited to '.gitattributes') diff --git a/.gitattributes b/.gitattributes index 5076ac1..30dd12d 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,3 +1,4 @@ *.h linguist-language=C *.c linguist-language=C *.v linguist-language=Coq +benchmarks/* linguist-vendored -- cgit