diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 12:47:06 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 12:47:06 +0000 |
commit | 4cf324c1ce658be95deeb1942b2486f03d44a0c5 (patch) | |
tree | efd221fce91c77d3ed65dbf0259e5edf94ada85c | |
parent | 59740d2273ba19a1abdee84a345b5d50a9b007c4 (diff) | |
download | verismith-4cf324c1ce658be95deeb1942b2486f03d44a0c5.tar.gz verismith-4cf324c1ce658be95deeb1942b2486f03d44a0c5.zip |
Add data to .gitattributes
-rw-r--r-- | .gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index 3d990ca..fef0b85 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1 +1,2 @@ bugs/*.v linguist-vendored=true +data/*.v linguist-vendored=true
\ No newline at end of file |