diff options
author | w0rp <w0rp@users.noreply.github.com> | 2018-08-23 22:42:45 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-23 22:42:45 +0100 |
commit | 7c10249c521d1bb03a90f6ca7f84ecf9f08e62f7 (patch) | |
tree | 5c4612b21da7fc0e9fb819d4d040d9033987f4a0 /test/test_history_saving.vader | |
parent | c2f7b379ee475d295a23f4ebb3d271861bba9d98 (diff) | |
parent | f82ab768333d677f692d6301230c55108bf66d40 (diff) | |
download | ale-7c10249c521d1bb03a90f6ca7f84ecf9f08e62f7.zip |
Merge pull request #1820 from SuRaMoN/master
Added phpcs options support as described in #257
Diffstat (limited to 'test/test_history_saving.vader')
0 files changed, 0 insertions, 0 deletions