diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-27 09:48:50 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-27 09:48:50 +0100 |
| commit | 4b48cff022a1606bde596f01fbf44361640b10d8 (patch) | |
| tree | d0e995b58d2643e8a904e8ca8f1c5b501b61c513 /crates/ra_arena/src/map.rs | |
| parent | bdd779aa44455d86a9975800ab6cd70057fab4a3 (diff) | |
| parent | ce040aa90755f2294b8db39a5255d75927f2bb95 (diff) | |
Merge #1333
1333: add profile calls to real-time requests r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_arena/src/map.rs')
0 files changed, 0 insertions, 0 deletions