diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2021-12-14 12:17:58 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2021-12-14 12:17:58 +0100 |
commit | d6b7e2dd683b9da592548fe19dabb936769350c3 (patch) | |
tree | 681464eeec326ca3431e030175eabbfc3e4f4d59 /.gitattributes | |
parent | f4b66ff05ab0affb47ebf390502cba5c277caea3 (diff) | |
download | compcert-kvx-d6b7e2dd683b9da592548fe19dabb936769350c3.tar.gz compcert-kvx-d6b7e2dd683b9da592548fe19dabb936769350c3.zip |
Fix pattern for github-linguist.
Diffstat (limited to '.gitattributes')
-rw-r--r-- | .gitattributes | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitattributes b/.gitattributes index 02ab53c1..f30f2a66 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,3 +1,3 @@ # Files that should be ignored by Github linguist -test/* linguist-vendored -doc/* linguist-documentation +/test/** linguist-vendored +/doc/** linguist-documentation |