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 /.editorconfig | |
| 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 '.editorconfig')
0 files changed, 0 insertions, 0 deletions