diff options
| author | sharkdp <davidpeter@web.de> | 2018-11-01 18:43:23 +0100 |
|---|---|---|
| committer | sharkdp <davidpeter@web.de> | 2018-11-01 18:43:23 +0100 |
| commit | f847c2b064a2aaaedbab5e5c3407c1bdad00e2fa (patch) | |
| tree | 6f554c911dad72d1d828e639a9e8178e7efd83b8 | |
| parent | 05a1fec7c2af878efbd0170fa62bc8f732f16e91 (diff) | |
Add .gitattributes
| -rw-r--r-- | ci/.gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/.gitattributes b/ci/.gitattributes new file mode 100644 index 0000000..36eaad9 --- /dev/null +++ b/ci/.gitattributes @@ -0,0 +1 @@ +* linguist-vendored |