diff options
| author | w0rp <devw0rp@gmail.com> | 2017-07-10 21:35:35 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-07-10 21:36:42 +0100 |
| commit | 30aef6b19a7d0ac713b3d7ca99f225d8dd8187f5 (patch) | |
| tree | 562959076fb331a28edef5cd210acd0195ef99f1 /custom-checks | |
| parent | bd0f31147e418ed51c0327f5bcc0fc4802c15120 (diff) | |
| download | ale-30aef6b19a7d0ac713b3d7ca99f225d8dd8187f5.zip | |
Fix #749 - Use /bin/sh when the shell is fish
Diffstat (limited to 'custom-checks')
0 files changed, 0 insertions, 0 deletions