diff options
author | w0rp <w0rp@users.noreply.github.com> | 2017-04-08 21:35:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-08 21:35:49 +0100 |
commit | 94d5fcb15aae637522732354936b4618645b79b4 (patch) | |
tree | 78928468e675bb59968bb48c9234930a3f3f2d9e /.gitattributes | |
parent | 4e40e8cb608fef9b088e6712d83f4fc3dccd5e77 (diff) | |
parent | 588d3383423ae4c82c336280823ee48346054e6a (diff) | |
download | ale-94d5fcb15aae637522732354936b4618645b79b4.zip |
Merge pull request #456 from mathsaey/patch-1
Added a missing space to the nimcheck command
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions