auto update;
authorwenzelm
Mon Sep 18 10:28:22 2017 +0200 (21 months ago)
changeset 666731e4450008c47
parent 66672 75694b28ef08
child 66674 30d5195299e2
auto update;
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/extension/package.json	Sun Sep 17 21:46:17 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Mon Sep 18 10:28:22 2017 +0200
     1.3 @@ -492,9 +492,9 @@
     1.4          "postinstall": "node ./node_modules/vscode/bin/install"
     1.5      },
     1.6      "devDependencies": {
     1.7 -        "@types/mocha": "^2.2.42",
     1.8 +        "@types/mocha": "^2.2.43",
     1.9          "@types/node": "^7.0.43",
    1.10 -        "mocha": "^3.5.0",
    1.11 +        "mocha": "^3.5.3",
    1.12          "typescript": "^2.5.2",
    1.13          "vscode": "^1.1.5"
    1.14      },