diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-15 09:26:58 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-15 09:26:58 +0000 |
commit | cec676d08236076a48a9fdae28cf0e716ae99b16 (patch) | |
tree | 6fb2e73e2d8ba57779f986fd02856e9fda30679e /crates/hir_def/src/path.rs | |
parent | de360275416ca095102f2b17d6ca1de3bd091fdb (diff) | |
parent | d6977550dd3cdfa012d30c12d8b89776070ab7af (diff) |
Merge #7975
7975: Provide regions in file structure r=ivan770 a=ivan770
Closes #7913
https://user-images.githubusercontent.com/14003886/110819163-96b3c080-8296-11eb-993e-a7cdb574a12d.mp4
Co-authored-by: ivan770 <[email protected]>
Diffstat (limited to 'crates/hir_def/src/path.rs')
0 files changed, 0 insertions, 0 deletions