diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-14 18:16:11 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-14 18:16:11 +0000 |
commit | b2ed130ffd9c79de26249a1dfb2a8312d6af12b3 (patch) | |
tree | 0ff98ea233dc9c6202660fb54abd3a9189c9993b /crates/ra_cli/src/analysis_stats.rs | |
parent | 767ff2c13c5b8c21fcbac072ff1a18a39b956408 (diff) | |
parent | 864434137a3ed17f2a96981780bf7d522e57fd4b (diff) |
Merge #2841
2841: More UI friendly labels r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_cli/src/analysis_stats.rs')
0 files changed, 0 insertions, 0 deletions