auto update;
authorwenzelm
Thu Jun 14 17:50:23 2018 +0200 (3 months ago)
changeset 684496d0f1a5a16ea
parent 68448 3d1517f3ba49
child 68450 41de07c7a0f3
child 68452 c027dfbfad30
auto update;
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/extension/package.json	Thu Jun 14 15:20:20 2018 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Thu Jun 14 17:50:23 2018 +0200
     1.3 @@ -524,10 +524,10 @@
     1.4      },
     1.5      "devDependencies": {
     1.6          "@types/mocha": "^2.2.48",
     1.7 -        "@types/node": "^7.0.56",
     1.8 +        "@types/node": "^7.0.66",
     1.9          "mocha": "^3.5.3",
    1.10 -        "typescript": "^2.7.2",
    1.11 -        "vscode": "^1.1.13"
    1.12 +        "typescript": "^2.9.2",
    1.13 +        "vscode": "^1.1.18"
    1.14      },
    1.15      "dependencies": {
    1.16          "vscode-languageclient": "~3.2.2"