diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-11-04 10:13:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-04 10:13:44 +0000 |
| commit | 6aab3fe20929e44401f56bd7fb28cb491a742c8c (patch) | |
| tree | 3628b6f4b05dedb29a247ee8c6b2b79093427501 /ale_linters/julia | |
| parent | 93180239b9f5bf3d22d28eea2fc7b6d6a3aca09f (diff) | |
| parent | f34c089685d1437f523e9c947c06b402f12c4b95 (diff) | |
| download | ale-6aab3fe20929e44401f56bd7fb28cb491a742c8c.zip | |
Merge pull request #2044 from Steap/bug/1388
PHP linter: make the path to the executable configurable
Diffstat (limited to 'ale_linters/julia')
0 files changed, 0 insertions, 0 deletions