diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-23 16:44:40 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-10-23 16:44:40 +0100 |
commit | edf4d8e555c6847fb9e6e61d727c4def11789bfc (patch) | |
tree | 873f149757109f1409f30be535d1d5d7afe7d6c6 /crates/ra_ide_api/src/display.rs | |
parent | a2df005e082666587a8d9c206fc9f64208e19fbd (diff) | |
parent | f5bf7f29b58d0ae93a87d41b3d893a64c8b66bf3 (diff) |
Merge #2049
2049: add couple of profiling calls r=matklad a=matklad
bors r+
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_ide_api/src/display.rs')
0 files changed, 0 insertions, 0 deletions