diff options
author | Jonas Schievink <[email protected]> | 2020-10-06 16:58:03 +0100 |
---|---|---|
committer | Jonas Schievink <[email protected]> | 2020-10-12 12:35:01 +0100 |
commit | cde7392ec809599e6337d91561971e08c8e06831 (patch) | |
tree | 061cc24d3af0d5189e5b1722a0f7416cc1a8bc34 /crates/ide_db/src/lib.rs | |
parent | 518f6d772482c7c58e59081f340947087a9b4800 (diff) |
Improve prime_caches and display its progress
Diffstat (limited to 'crates/ide_db/src/lib.rs')
0 files changed, 0 insertions, 0 deletions