auto update;
authorwenzelm
Thu Aug 10 14:33:23 2017 +0200 (22 months ago)
changeset 6639177a347cf3531
parent 66390 21514c6e5e43
child 66392 c1a9bcbeeec2
auto update;
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/extension/package.json	Thu Aug 10 14:32:13 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Thu Aug 10 14:33:23 2017 +0200
     1.3 @@ -493,10 +493,10 @@
     1.4      },
     1.5      "devDependencies": {
     1.6          "@types/mocha": "^2.2.41",
     1.7 -        "@types/node": "^7.0.33",
     1.8 -        "mocha": "^3.4.1",
     1.9 -        "typescript": "^2.4.1",
    1.10 -        "vscode": "^1.1.1"
    1.11 +        "@types/node": "^7.0.39",
    1.12 +        "mocha": "^3.5.0",
    1.13 +        "typescript": "^2.4.2",
    1.14 +        "vscode": "^1.1.4"
    1.15      },
    1.16      "dependencies": {
    1.17          "vscode-languageclient": "~3.2.2"