Kris De Volder 15e3230e3b Allow overriding vscode language server options ...

JAVA_HOME and heap can now be overridden by the user from
vscode worspace settings, in a similar way for all our language servers,
by setting XXX.java.home and XXX.java.heap configuration keys.

2018-05-03 12:41:55 -07:00

..

.gitignore

Make vscode-bosh a copy of vscode-concourse

2017-07-10 11:20:25 -07:00

Main.ts

Allow overriding vscode language server options

2018-05-03 12:41:55 -07:00