diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 16:05:31 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 16:05:31 +0100 |
| commit | 0a00e01db267619c68ca223de2ba6b160163e6b6 (patch) | |
| tree | 60f2d0011471ff5ad500eb4e86796cf436812d8f | |
| parent | 26608d2d1798795844d8c140e37d75b26467e374 (diff) | |
| download | vericert-0a00e01db267619c68ca223de2ba6b160163e6b6.tar.gz vericert-0a00e01db267619c68ca223de2ba6b160163e6b6.zip | |
Fix linguist-vendored for repository statistics
| -rw-r--r-- | .gitattributes | 2 |
1 files changed, 1 insertions, 1 deletions
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 |