diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-16 16:24:40 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-16 16:24:40 +0100 |
commit | da34d630b878f14e85be02b8ffdb702edf736539 (patch) | |
tree | 35700c59d6c36b4c027a02f8afe9a253ad2042e2 /crates/ra_hir_ty/src/infer.rs | |
parent | 6b2175878da09feeb0eafc6287eb939e837e14dc (diff) | |
parent | 3910ea5cbfd5228377ff3299f0bac52c2abb9f3c (diff) |
Merge #4908
4908: Fix typos in docs/dev/README.md r=kjeremy a=okaneco
Small grammar and spelling changes in the README.md for the dev docs.
Co-authored-by: okaneco <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer.rs')
0 files changed, 0 insertions, 0 deletions