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 /crates/ra_batch | |
| 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 'crates/ra_batch')
0 files changed, 0 insertions, 0 deletions