diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-16 15:40:06 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-16 15:40:06 +0000 |
commit | a69f7ce312ba04acbca970a61d9576d520dacb2e (patch) | |
tree | bc80aa2f3aa4dffb8421889afa0bcbb48e04f1aa /crates/base_db/src/change.rs | |
parent | 979e788957ced1957ee9ac1da70fb97abf9fe2b1 (diff) | |
parent | 4628d94e749f05a12ca51548a2c9afa2cc44ea84 (diff) |
Merge #8053
8053: Remove ShortLabel r=Veykril a=Veykril
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/base_db/src/change.rs')
0 files changed, 0 insertions, 0 deletions