diff options
author | w0rp <devw0rp@gmail.com> | 2017-07-10 21:35:35 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-07-10 21:35:35 +0100 |
commit | 751d965265c087a582e8e89bdec1ebcb018a7d6a (patch) | |
tree | fefa6cd639cc2e9e8dca80adabeb5f81c8ea9c2f /.gitattributes | |
parent | b44f6053d1faffa47191009f84dc36d14ebc3992 (diff) | |
download | ale-751d965265c087a582e8e89bdec1ebcb018a7d6a.zip |
Fix #749 - Use /bin/sh when the shell is fish
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions