diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-23 19:47:14 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-09-23 19:47:14 +0100 |
commit | c12a713739e30019497ab0f5e7bfa776122bfc6d (patch) | |
tree | 87e32301e1507a677840066c1547d86fd21e0460 /crates/ra_parser/src/parser.rs | |
parent | a745afcc36ef273eb44bc9f71a40d9948d7309b0 (diff) | |
parent | 13d7fc1620c7af448c9f234f806f4aee342b3948 (diff) |
Merge #1898
1898: Drive by lints r=kjeremy a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_parser/src/parser.rs')
0 files changed, 0 insertions, 0 deletions