diff options
author | w0rp <w0rp@users.noreply.github.com> | 2019-06-16 18:13:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-16 18:13:47 +0100 |
commit | 15f23532b78d1d82c795fbd38a53bd5026f88ae4 (patch) | |
tree | c4e5ad4ee4ac56efd5289ab417e30bce1b3c3ca8 /README.md | |
parent | 3acfa0813e9c5edfa1d2a8099e86f39623d86251 (diff) | |
parent | eb6a7b75164ae2a0acb87fc9a7402779dc3e3614 (diff) | |
download | ale-15f23532b78d1d82c795fbd38a53bd5026f88ae4.zip |
Merge pull request #2577 from hsanson/fix-checkstyle-defaults
Fix checkstyle default configuration.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions