diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-23 17:25:40 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-23 17:25:40 +0000 |
commit | 18a8f48039fbfcbbf58e1dadcc95465fe9503691 (patch) | |
tree | 503037f1f48c53eb460fb730fed576070527203d /editors/code/package.json | |
parent | 2dfb47cc3dd68b7ca575e7eb4238221fdc8e7cdb (diff) | |
parent | a3711e08dc4e393957dff136218c47d8b77da14f (diff) |
Merge #1031
1031: Move most things out of ra_ide_api_light r=matklad a=detrumi
This moves everything except `structure` out of `ra_ide_api_light`. So this PR and #1019 finish up #1009, whichever is merged last should probably remove the `ra_ide_api_light` crate.
Also, `LocalEdit` was removed since it wasn't used any more.
Co-authored-by: Wilco Kusee <[email protected]>
Diffstat (limited to 'editors/code/package.json')
0 files changed, 0 insertions, 0 deletions