diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-12 15:33:02 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-12 15:33:02 +0000 |
commit | abc5d377e2957af962c33d565fd550eb504dbbee (patch) | |
tree | 55cedb8a13abb73134a4c3a14c681127753e74cd /editors | |
parent | 72a122092bb37249a5d04ca3b8b5c8b78f9b84dd (diff) | |
parent | 50383ceae1cc10b989b34e579897042008483e3d (diff) |
Merge #807
807: Specify vscode 1.31 r=matklad a=kjeremy
This is for #796
It doesn't seem to fix the problem if you manually install the extension but it is the "right thing to do".
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/package.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/package.json b/editors/code/package.json index 045d372e7..4fc2cb754 100644 --- a/editors/code/package.json +++ b/editors/code/package.json | |||
@@ -13,7 +13,7 @@ | |||
13 | "Other" | 13 | "Other" |
14 | ], | 14 | ], |
15 | "engines": { | 15 | "engines": { |
16 | "vscode": "^1.30.0" | 16 | "vscode": "^1.31.0" |
17 | }, | 17 | }, |
18 | "scripts": { | 18 | "scripts": { |
19 | "vscode:prepublish": "npm run compile", | 19 | "vscode:prepublish": "npm run compile", |