diff options
author | w0rp <w0rp@users.noreply.github.com> | 2016-10-09 20:59:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-09 20:59:25 +0100 |
commit | dea8af1e5706cbed01547d71c955caf94dae7515 (patch) | |
tree | 0f8544b889a2aefc54faca6632bccbe267015977 /doc | |
parent | 731033588dea86c8829a7f95383384205e4499be (diff) | |
parent | b2714da78bbc7e25a99d93cfab7f4ff57198d35f (diff) | |
download | ale-dea8af1e5706cbed01547d71c955caf94dae7515.zip |
Merge pull request #73 from KabbAmine/fix-69
Modify shell's pattern to handle locals other than english, fixes #69
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions