src/Tools/VSCode/extension/vsc-extension-quickstart.md
2016-12-19 wenzelm 2016-12-19 basic support for VSCode Language Server protocol; minimal extension for VSCode editor;