# HG changeset patch
# User wenzelm
# Date 1513949729 -3600
# Node ID 31dd98471e886a2ecb45388a888e1b4dcb0ae913
# Parent  93b4333f33bb763ac461ef86f96d139b6b40ae46
auto update;

diff -r 93b4333f33bb -r 31dd98471e88 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Dec 22 14:27:59 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Dec 22 14:35:29 2017 +0100
@@ -492,11 +492,11 @@
         "postinstall": "node ./node_modules/vscode/bin/install"
     },
     "devDependencies": {
-        "@types/mocha": "^2.2.43",
-        "@types/node": "^7.0.43",
+        "@types/mocha": "^2.2.44",
+        "@types/node": "^7.0.51",
         "mocha": "^3.5.3",
-        "typescript": "^2.5.2",
-        "vscode": "^1.1.5"
+        "typescript": "^2.6.2",
+        "vscode": "^1.1.10"
     },
     "dependencies": {
         "vscode-languageclient": "~3.2.2"