diff options
| author | w0rp <devw0rp@gmail.com> | 2018-04-09 19:11:20 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-04-09 19:11:20 +0100 |
| commit | 719b790574b6aeb4fc3c956dfbcffa3c3987a668 (patch) | |
| tree | d0d773308e97a3002075f9de2348874606b70ed4 /ale_linters/tex | |
| parent | 3a47413286ff4701898b571aa4b066bd6d17bf3e (diff) | |
| download | ale-719b790574b6aeb4fc3c956dfbcffa3c3987a668.zip | |
Close #542 - Add an option for disabling running locally installed executables by default
Diffstat (limited to 'ale_linters/tex')
0 files changed, 0 insertions, 0 deletions