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/call_info.rs | |
parent | 15de338703fd9c789c4cf8041a59d8730f12bc78 (diff) |
Make incremental sync opt-out
Diffstat (limited to 'crates/ra_ide/src/call_info.rs')
0 files changed, 0 insertions, 0 deletions