diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-10-14 16:18:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-14 16:18:10 +0100 |
| commit | 7c5825ecbc166d71976d01213e42723128d933e7 (patch) | |
| tree | 17921bb695670e3517f2130b623616b10c272f3e /ale_linters/erlang | |
| parent | 01219f03080e5ec2d6c14681e9674f8464d5a32a (diff) | |
| parent | 889e6338fe37a4960fded05deaaa760619fa4c03 (diff) | |
| download | ale-7c5825ecbc166d71976d01213e42723128d933e7.zip | |
Merge pull request #2803 from diegosouza/update_highest_phpstan_level
Update highest phpstan level
Diffstat (limited to 'ale_linters/erlang')
0 files changed, 0 insertions, 0 deletions