diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-21 17:46:52 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-12-21 17:46:52 +0000 |
| commit | f874d6c475356b1dd40acd9c362c786dc76f7e28 (patch) | |
| tree | 140737c65d55fc42f49345bbc45a46c54bccc02a /crates/ra_ide/src/marks.rs | |
| parent | c59d10ab35f69d34c9e1ada34db43157467aced5 (diff) | |
| parent | d4b135f38c8c0050768c50e62043ddca5f09079a (diff) | |
Merge #2637
2637: Optimize and profile r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_ide/src/marks.rs')
0 files changed, 0 insertions, 0 deletions