diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-31 12:22:40 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-31 12:22:40 +0100 |
commit | d7071eae2cb78547b8345d4c6ba2731a5151c049 (patch) | |
tree | c226b7548d749bb8ac9089a47d860e975e7fef47 /crates/ra_ide/src/diagnostics.rs | |
parent | 09df51dab89340bcf4b8ede95c02c32b0c8eb2bc (diff) | |
parent | 5a2f4548e59981871fe4db2b9ee591b9bf39a46e (diff) |
Merge #4668
4668: Rename user/readme.adoc -> user/manual.adoc r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_ide/src/diagnostics.rs')
0 files changed, 0 insertions, 0 deletions