diff options
| author | Laurențiu Nicola <[email protected]> | 2020-05-03 18:56:36 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-05-03 18:58:07 +0100 |
| commit | 87a18b18eab859cbfcbaf178bc6355215dae8381 (patch) | |
| tree | 8cfb6bb55eec6ac8a2b0f4ae5c4000a7acbd368c /crates/ra_hir_ty/src/traits/builtin.rs | |
| parent | 76c2f4ef49d8fe89c1199899f9fe6289ddd95b6b (diff) | |
Make incremental sync opt-in
Diffstat (limited to 'crates/ra_hir_ty/src/traits/builtin.rs')
0 files changed, 0 insertions, 0 deletions