# HG changeset patch
# User wenzelm
# Date 1504365312 -7200
# Node ID 53dcc7454221cec64ab5affc05a749db6d858ffc
# Parent  c5bd8267d8327c4bfbed50204f3daad0c79805a8
auto update;

diff -r c5bd8267d832 -r 53dcc7454221 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Sat Sep 02 17:04:24 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Sat Sep 02 17:15:12 2017 +0200
@@ -492,11 +492,11 @@
         "postinstall": "node ./node_modules/vscode/bin/install"
     },
     "devDependencies": {
-        "@types/mocha": "^2.2.41",
-        "@types/node": "^7.0.39",
+        "@types/mocha": "^2.2.42",
+        "@types/node": "^7.0.43",
         "mocha": "^3.5.0",
-        "typescript": "^2.4.2",
-        "vscode": "^1.1.4"
+        "typescript": "^2.5.2",
+        "vscode": "^1.1.5"
     },
     "dependencies": {
         "vscode-languageclient": "~3.2.2"