diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-19 14:10:10 +0100 |
---|---|---|
committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-19 14:10:10 +0100 |
commit | 8718a47088585bdb411f37d1b7cd1244d7528eaa (patch) | |
tree | 254e13d1f0fb3072d02ba58f918de043a5cfcded /crates/ra_prof/src | |
parent | c0e36ab0c33a7c721c0919b4285e0b23e10ce9d5 (diff) | |
parent | f9d9e0a1f75b48813fe816a1e2a6c30146a36503 (diff) |
Merge #1551
1551: several highlighting cleanups r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_prof/src')
0 files changed, 0 insertions, 0 deletions