diff options
| author | Laurențiu Nicola <[email protected]> | 2021-01-07 14:33:00 +0000 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2021-01-07 14:37:08 +0000 |
| commit | c547ec1cd6fb764d7ad7c1e8b066b90038b44920 (patch) | |
| tree | 04ff5c554a9d2de7d5f653e7bc515090b0dbd817 /crates/hir_def/src/item_tree/lower.rs | |
| parent | 959406aeb5379024bd7b2143688cfa07e073fc99 (diff) | |
Don't update the server if managed by the user
Diffstat (limited to 'crates/hir_def/src/item_tree/lower.rs')
0 files changed, 0 insertions, 0 deletions