diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-15 12:10:37 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-15 12:10:37 +0000 |
commit | 2184f7f14250c888e37cc27475c085515ea63aa4 (patch) | |
tree | a8856fbc3179ca3f52f3b8ca00cf481954c6f351 /crates/ra_hir/src/ids.rs | |
parent | f6f2e89e7ac9c4afbda11bade21f902c552fbba2 (diff) | |
parent | cd21f0eadead4129bc2e91434e015c660e02c880 (diff) |
Merge #545
545: Reveal the newly added source change in the editor. r=matklad a=kjeremy
Fixes #543
Co-authored-by: Jeremy A. Kolb <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ids.rs')
0 files changed, 0 insertions, 0 deletions