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 /xtask/src/main.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 'xtask/src/main.rs')
0 files changed, 0 insertions, 0 deletions