diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2020-07-21 12:49:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-21 12:49:55 +0100 |
| commit | 68b484a49fe2f5cc29ebccca0a3da48b31073ada (patch) | |
| tree | e07b01201bd5b0cd0f457638d12b22a040edd6d9 /test/test_highlight_placement.vader | |
| parent | f31182beeef8b8ba897c22fb62cfb86c0f1a9659 (diff) | |
| parent | 8fbcba0091161fb537adf1dfc87555fd79e52eaf (diff) | |
| download | ale-68b484a49fe2f5cc29ebccca0a3da48b31073ada.zip | |
Merge pull request #2914 from hsanson/2913-fix-checkstyle-config-with-options
Fix 2913 - checkstyle config file ignored.
Diffstat (limited to 'test/test_highlight_placement.vader')
0 files changed, 0 insertions, 0 deletions