diff options
author | w0rp <devw0rp@gmail.com> | 2018-02-25 12:57:54 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2018-02-25 12:57:54 +0000 |
commit | 478a2883a6c75e888bce2b0e7c800d5d8990f29e (patch) | |
tree | bd18537682b39659aca13f8e0dc1955554208f22 /after | |
parent | 0ddf16194d8f1b272127c5a6b2d84b5345757b17 (diff) | |
download | ale-478a2883a6c75e888bce2b0e7c800d5d8990f29e.zip |
#1363 Make ale#engine#IsCheckingBuffer part of the public API
Diffstat (limited to 'after')
0 files changed, 0 insertions, 0 deletions