# HG changeset patch
# User wenzelm
# Date 1488535647 -3600
# Node ID 7672b29e544eb452db1e00c90f0fd55b1da3565b
# Parent  f7aaf4ce55a9eff399d04e3019eb397fa3941ae9
clarified versions;

diff -r f7aaf4ce55a9 -r 7672b29e544e src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Mar 03 10:51:24 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Mar 03 11:07:27 2017 +0100
@@ -77,8 +77,8 @@
         "postinstall": "node ./node_modules/vscode/bin/install"
     },
     "devDependencies": {
-        "typescript": "^2.0.3",
-        "vscode": "^1.0.0",
+        "typescript": "^2.1.0",
+        "vscode": "^1.8.0",
         "mocha": "^2.3.3",
         "@types/node": "^6.0.40",
         "@types/mocha": "^2.2.32"