diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-07 22:27:37 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-07 22:27:37 +0100 |
commit | c59ffac4c832e71cd4dadd6a8ec46918891985a2 (patch) | |
tree | 5c9afc15f83bdd33dc244abca8f2a2e34cca6f50 /crates/ra_hir_def/src/path | |
parent | dc340f12a39e7cd8b495b84c009052c4d441d867 (diff) | |
parent | 3162b9ed8f70701a1534acc47f8d0ea0ba8e3b2d (diff) |
Merge #4780
4780: Fix VSCode settings r=SomeoneToIgnore a=vincentisambart
closes #4779
#4779 was reproducing every time, so doing a bisect I found out the problem to be coming from #4730.
The only change to the extension that #4730 included was changes to editors/code/package.json.
So I tried modifying those changes a bit and got it working.
Co-authored-by: Vincent Isambart <[email protected]>
Diffstat (limited to 'crates/ra_hir_def/src/path')
0 files changed, 0 insertions, 0 deletions