diff options
| author | w0rp <devw0rp@gmail.com> | 2017-10-14 17:11:30 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-10-14 17:11:30 +0100 |
| commit | 6fd10f80de6547472a863b1c2834fbc0bb6886b9 (patch) | |
| tree | c66f38c8b17f2000b4e84c44afcc9e79a65a5fb1 /doc/ale.txt | |
| parent | 5204f2dbc27194818e9cddc8cb01a6171bf4e18c (diff) | |
| download | ale-6fd10f80de6547472a863b1c2834fbc0bb6886b9.zip | |
Cut down on the time for the CtrlPFunky check, by first checking if the command exists
Diffstat (limited to 'doc/ale.txt')
0 files changed, 0 insertions, 0 deletions