diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-19 23:50:26 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-19 23:50:26 +0100 |
commit | 28f6b5b8493024b87f53ea9be4d517442588b7e5 (patch) | |
tree | 6fee45df714befbc0633299b56c6027ab1bcfed8 /crates/ra_prof/src/tree.rs | |
parent | e94d7c124ffae5c7409b560e29a6cee006edf401 (diff) | |
parent | 39ec581bf6e01cf2d7f33aacbe8879abf7ea3199 (diff) |
Merge #4519
4519: Fix client-side snippets r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_prof/src/tree.rs')
0 files changed, 0 insertions, 0 deletions