diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-08 15:32:40 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-08 15:32:40 +0000 |
commit | 0ce0d6893b3eb2670c9bed19b810ea070272d78e (patch) | |
tree | be2981e0c483f22013dff5a556f22176ee0669b9 /crates/hir_ty/src/traits/chalk | |
parent | e2e6b709e60f22279b755ceae74e579520c9ae3b (diff) | |
parent | 4f008bf8b238d60eb1778d7e28da07b5de8f1a86 (diff) |
Merge #6762
6762: fix typo of README in dev r=lnicola a=sasurau4
Fix typo of README in dev
Co-authored-by: Daiki Ihara <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
0 files changed, 0 insertions, 0 deletions