diff options
| author | Aleksey Kladov <[email protected]> | 2019-04-14 20:54:57 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-04-14 23:10:07 +0100 |
| commit | e6f32c6d3a5626a1f071d96d2cdebe630abdd5a3 (patch) | |
| tree | 6d2d34a7aa9a67224b1418c15076bd62e5cf1de7 /crates/ra_ide_api/src/lib.rs | |
| parent | 30a4099ea7d882e5d5f62c373ccf7b8af23e09c5 (diff) | |
fast path for disabled profiler
Diffstat (limited to 'crates/ra_ide_api/src/lib.rs')
0 files changed, 0 insertions, 0 deletions