diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-16 20:01:20 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-16 20:01:20 +0000 |
| commit | 83e6940efb42675226adb8d2856c095b8dce36c5 (patch) | |
| tree | 4720353e96dd2b7e200da91896dd7d155d661bd4 /crates/hir_ty/src/op.rs | |
| parent | 2f9ce4f663b47c69fbf924f3300713773f5f4c10 (diff) | |
| parent | 186a430853176f0ff5f69c4323bd12fb6f07d6ed (diff) | |
Merge #8062
8062: pit-of-successify tree editor r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/op.rs')
0 files changed, 0 insertions, 0 deletions