diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2016-10-07 16:44:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-07 16:44:25 +0100 |
| commit | f0f17e4b0d472dd180c6f4b92aa8c28c550d3f7f (patch) | |
| tree | 7b643bfd231d8a9d34e715a60fc725390db79afd /ale_linters/php | |
| parent | 0e986359377ee1da1c2f5ec14155fd3a6bc548f0 (diff) | |
| download | ale-f0f17e4b0d472dd180c6f4b92aa8c28c550d3f7f.zip | |
Explain that options should be documented.
Diffstat (limited to 'ale_linters/php')
0 files changed, 0 insertions, 0 deletions