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