diff options
author | w0rp <devw0rp@gmail.com> | 2017-07-16 01:15:07 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-07-16 01:15:07 +0100 |
commit | 4fa66ab627039fe19cf6383b19d311066b73d8cf (patch) | |
tree | 251ea5ebaad998b61b5009a77dd195a1ad366c7f /ale_linters/php | |
parent | 15c48650e7593e189887bd2d342f1736fbf52919 (diff) | |
download | ale-4fa66ab627039fe19cf6383b19d311066b73d8cf.zip |
Fix #560 #763 - Silence errors for setting signs, and do nothing for dirvish
Diffstat (limited to 'ale_linters/php')
0 files changed, 0 insertions, 0 deletions