diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-16 17:18:55 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-16 17:18:55 +0100 |
| commit | 6deb9087bb95352c345470a3e23a9c9f1549bab0 (patch) | |
| tree | a75d1f5fd80ba804040ea604f5de2ff2ce5e7a98 /crates/hir_def/src/docs.rs | |
| parent | 76bd27be89e163602038ba069ac726cf2b9c12e0 (diff) | |
| parent | 409090e74cd76de35d5ae5ddd7a1e353a9c161f6 (diff) | |
Merge #5778
5778: Chalk 0.23 r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/hir_def/src/docs.rs')
0 files changed, 0 insertions, 0 deletions