diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-22 15:20:42 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-22 15:20:42 +0100 |
| commit | a99de65573d59d6398f472b0d42daabe9e8a5410 (patch) | |
| tree | ffaa695301e2483e8a3ec360f0dcec79281ab2c1 /crates/hir_ty/src/interner.rs | |
| parent | d56e52402eedbd738b5161cd1e5a8c152cb65e21 (diff) | |
| parent | dc1577d58d0339b3d77739e33ae5e527ae6f6589 (diff) | |
Merge #8923
8923: Add even more docs r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/interner.rs')
0 files changed, 0 insertions, 0 deletions