diff options
| author | Laurențiu Nicola <[email protected]> | 2020-05-04 18:04:30 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-05-04 18:04:30 +0100 |
| commit | 7c1d5f286a971484fc1f1d367e762853471873e4 (patch) | |
| tree | 092c6ec57b56f2edfef7416981a8f68d2c5f248c /crates/ra_ide/src/marks.rs | |
| parent | 191abf368563d6229c5e6025f7cde2e7d4c22ab0 (diff) | |
Fix line index rebuild during incremental changes
Diffstat (limited to 'crates/ra_ide/src/marks.rs')
0 files changed, 0 insertions, 0 deletions