diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-10-07 19:19:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-07 19:19:54 +0100 |
| commit | cebbb67ea6e2555f4438d61333c96764a389cf6b (patch) | |
| tree | 5752cccc0eef1eb7a32290c17b598b765b212c1e /doc | |
| parent | 32b784219b91a99fb05a78825ce64c5a4f98f253 (diff) | |
| parent | e47c1965a611e5d8e4503ed399fefbb41caa80c4 (diff) | |
| download | ale-cebbb67ea6e2555f4438d61333c96764a389cf6b.zip | |
Merge pull request #2659 from greg0ire/psalm-language-server-option
Use the psalm executable with the LS option
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions