diff options
author | Grégoire Paris <postmaster@greg0ire.fr> | 2019-07-25 23:00:49 +0200 |
---|---|---|
committer | Grégoire Paris <postmaster@greg0ire.fr> | 2019-07-25 23:19:30 +0200 |
commit | e47c1965a611e5d8e4503ed399fefbb41caa80c4 (patch) | |
tree | 1df6557dd2c6566f2077e3d586aa1fe2f97f14ce /doc | |
parent | aae6d30b1ec135e37ec3bea1885d161c6174572b (diff) | |
download | ale-e47c1965a611e5d8e4503ed399fefbb41caa80c4.zip |
Use the psalm executable with the LS option
This is the simplest way of getting the psalm language server to run
now.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions