diff options
| author | w0rp <devw0rp@gmail.com> | 2018-07-17 21:39:50 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-07-17 21:39:50 +0100 |
| commit | 5453e0e1a43302226da1d1d753e162af0231f9d3 (patch) | |
| tree | 4ef7017905bf31573b3b325f9d12bf1ee0d9acc1 /plugin | |
| parent | 7952ebe77ef3f6d5c98ec155ea8aad46652e7077 (diff) | |
| download | ale-5453e0e1a43302226da1d1d753e162af0231f9d3.zip | |
Fix #1708 - Don't modify linters or register fixers in the sandbox
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions