auto update;
authorwenzelm
Tue Jun 27 16:46:39 2017 +0200 (24 months ago)
changeset 66202fed3690d3b4d
parent 66201 d8f2c745f572
child 66203 5763d9a2f47d
auto update;
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/extension/package.json	Tue Jun 27 11:49:47 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Tue Jun 27 16:46:39 2017 +0200
     1.3 @@ -492,11 +492,11 @@
     1.4          "postinstall": "node ./node_modules/vscode/bin/install"
     1.5      },
     1.6      "devDependencies": {
     1.7 -        "typescript": "^2.3.2",
     1.8 -        "vscode": "^1.1.0",
     1.9 +        "@types/mocha": "^2.2.41",
    1.10 +        "@types/node": "^7.0.32",
    1.11          "mocha": "^3.4.1",
    1.12 -        "@types/node": "^7.0.21",
    1.13 -        "@types/mocha": "^2.2.41"
    1.14 +        "typescript": "^2.3.2",
    1.15 +        "vscode": "^1.1.1"
    1.16      },
    1.17      "dependencies": {
    1.18          "vscode-languageclient": "~3.2.2"