diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-05 22:43:14 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-05 22:43:14 +0100 |
commit | 78c82eff95cae43b389dbd6e590d7f09bac8f3f1 (patch) | |
tree | 9fbbf7d947336ec947b9e20f42df620511111d3d /crates/ra_hir_ty/src/traits/builtin.rs | |
parent | 7e941fe8ec7b196314aa05bf9411cdce978ffa24 (diff) | |
parent | 5eac2d4c55fec5f96d84d20cc033c2a8e938f53e (diff) |
Merge #4330
4330: Drop dead code and a dependency! r=matklad a=Veetaha
:tada:
Co-authored-by: veetaha <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/traits/builtin.rs')
0 files changed, 0 insertions, 0 deletions