Fixes #11456: Hide the tsdk_version setting from the user

This commit is contained in:
Dirk Baeumer
2016-09-02 16:20:59 +02:00
parent b711927ed4
commit b40a3b4b71

View File

@@ -75,11 +75,6 @@
"default": null,
"description": "%typescript.tsdk.desc%"
},
"typescript.tsdk_version": {
"type": ["string", "null"],
"default": null,
"description": "%typescript.tsdk_version.desc%"
},
"typescript.tsserver.trace": {
"type": "string",
"enum": ["off", "messages", "verbose"],