diff options
author | w0rp <w0rp@users.noreply.github.com> | 2017-12-01 09:19:57 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-01 09:19:57 +0000 |
commit | 948035e13d466d4e9a1a0cd9a1596cc39bde501e (patch) | |
tree | 98c5059790370774910a6d2d7b0185a743bc19e1 /doc/ale.txt | |
parent | a990188e276aad9410bc6fd1b627153fb279ffac (diff) | |
parent | 0406af44846277f58bbbf3d1e4ba7fa6ab3ae0f6 (diff) | |
download | ale-948035e13d466d4e9a1a0cd9a1596cc39bde501e.zip |
Merge pull request #1185 from svenstaro/patch-1
Delete unnecessary unlets
Diffstat (limited to 'doc/ale.txt')
0 files changed, 0 insertions, 0 deletions