diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-25 10:59:46 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-25 10:59:46 +0000 |
commit | fb81726ee59a8df5d86ec2a78f959a0e166b8199 (patch) | |
tree | 4bf167645d4b7f098140612086424f6a0de69719 /crates/ra_hir_ty/src/diagnostics.rs | |
parent | c6dbf406a9bbf1d8df438753c9e1a7c97d0f00e1 (diff) | |
parent | 6577a7622d5053f35c16eed47516265c98e5212e (diff) |
Merge #2903
2903: Add print_time helper r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/diagnostics.rs')
0 files changed, 0 insertions, 0 deletions