diff options
author | sharkdp <davidpeter@web.de> | 2018-11-01 18:52:23 +0100 |
---|---|---|
committer | sharkdp <davidpeter@web.de> | 2018-11-01 18:52:23 +0100 |
commit | 5fbb248adf0b88b52859da74e6aea66a2f659ca0 (patch) | |
tree | 3722b3f93faca8b4d58a02326e6bcf3f75fae35f | |
parent | f847c2b064a2aaaedbab5e5c3407c1bdad00e2fa (diff) |
Update .gitattributes
-rw-r--r-- | ci/.gitattributes | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/.gitattributes b/ci/.gitattributes index 36eaad9..5c3d83b 100644 --- a/ci/.gitattributes +++ b/ci/.gitattributes @@ -1 +1 @@ -* linguist-vendored +*.bash linguist-vendored |