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 /test/command_callback/psalm-project | |
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 'test/command_callback/psalm-project')
-rwxr-xr-x | test/command_callback/psalm-project/vendor/bin/psalm (renamed from test/command_callback/psalm-project/vendor/bin/psalm-language-server) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test/command_callback/psalm-project/vendor/bin/psalm-language-server b/test/command_callback/psalm-project/vendor/bin/psalm index e69de29b..e69de29b 100755 --- a/test/command_callback/psalm-project/vendor/bin/psalm-language-server +++ b/test/command_callback/psalm-project/vendor/bin/psalm |