aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/source_id.rs
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2019-09-23 19:47:14 +0100
committerGitHub <[email protected]>2019-09-23 19:47:14 +0100
commitc12a713739e30019497ab0f5e7bfa776122bfc6d (patch)
tree87e32301e1507a677840066c1547d86fd21e0460 /crates/ra_hir/src/source_id.rs
parenta745afcc36ef273eb44bc9f71a40d9948d7309b0 (diff)
parent13d7fc1620c7af448c9f234f806f4aee342b3948 (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_hir/src/source_id.rs')
0 files changed, 0 insertions, 0 deletions