diff options
| author | Diego Mendes <diegomendes@santos.sp.gov.br> | 2019-10-02 09:22:04 -0300 |
|---|---|---|
| committer | Diego Mendes <diegomendes@santos.sp.gov.br> | 2019-10-02 09:22:04 -0300 |
| commit | 889e6338fe37a4960fded05deaaa760619fa4c03 (patch) | |
| tree | eb095c907c1f68a90eb1e5252ee4f0353fdcef80 /ale_linters/idris | |
| parent | 41ff80dc9ec2cc834cc8c4aaa753e308223d48b8 (diff) | |
| download | ale-889e6338fe37a4960fded05deaaa760619fa4c03.zip | |
highest phpstan level in doc updated
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions