diff options
| author | Laurențiu Nicola <[email protected]> | 2020-05-04 17:54:23 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-05-04 17:54:39 +0100 |
| commit | 191abf368563d6229c5e6025f7cde2e7d4c22ab0 (patch) | |
| tree | 3e1f0554bc768786c413c46b677e6a569743e2c1 /crates/ra_ide/src/marks.rs | |
| parent | 15de338703fd9c789c4cf8041a59d8730f12bc78 (diff) | |
Make incremental sync opt-out
Diffstat (limited to 'crates/ra_ide/src/marks.rs')
0 files changed, 0 insertions, 0 deletions