diff options
| author | w0rp <devw0rp@gmail.com> | 2017-08-23 21:41:29 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-08-23 21:41:29 +0100 |
| commit | 623fdf212cd70131df4d3c52de26d9d1faa5d90e (patch) | |
| tree | c2e98dbffcc9abf65d4a656ddc3e867dee74e55c /doc/ale.txt | |
| parent | 0507503aa755587892e8841a749dc0ca8641a6f8 (diff) | |
| download | ale-623fdf212cd70131df4d3c52de26d9d1faa5d90e.zip | |
Include executable checks in ALEInfo
Diffstat (limited to 'doc/ale.txt')
0 files changed, 0 insertions, 0 deletions