# HG changeset patch
# User wenzelm
# Date 1489074999 -3600
# Node ID d596a070f03929d8ed5e113c9d1c03f61b0ea2c4
# Parent  df1052d0708df0db9b5a3516d88abf313748e734
clarified versions;

diff -r df1052d0708d -r d596a070f039 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Thu Mar 09 15:27:37 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Thu Mar 09 16:56:39 2017 +0100
@@ -149,9 +149,9 @@
         "postinstall": "node ./node_modules/vscode/bin/install"
     },
     "devDependencies": {
-        "typescript": "^2.1.0",
-        "vscode": "^1.0.0",
-        "mocha": "^2.3.3",
+        "typescript": "2.2.x",
+        "vscode": "1.x",
+        "mocha": "3.x",
         "@types/node": "^6.0.40",
         "@types/mocha": "^2.2.32"
     },