diff options
| author | David Sierra DiazGranados <davidsierradz@gmail.com> | 2017-11-05 13:53:12 -0500 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2017-11-05 18:53:12 +0000 |
| commit | 7086586b1776d2b5f3bf87a7f0c25595a5d7e1b0 (patch) | |
| tree | 6291c26a2c6529864ae80444b1d360bb9e7b4cf5 /ftplugin | |
| parent | 7b5108d934d8682490ab3d9af25361e06a3df3f8 (diff) | |
| download | ale-7086586b1776d2b5f3bf87a7f0c25595a5d7e1b0.zip | |
Add executable option for phpmd linter (resolves #1076) (#1078)
* Add executable option for phpmd linter (resolves #1076)
* Add test for phpmd executable option
Diffstat (limited to 'ftplugin')
0 files changed, 0 insertions, 0 deletions