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 /crates/ra_ide_api/src/lib.rs | |
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 'crates/ra_ide_api/src/lib.rs')
0 files changed, 0 insertions, 0 deletions