diff options
| author | Aleksey Kladov <[email protected]> | 2020-05-22 17:03:08 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-05-22 17:04:26 +0100 |
| commit | 2c04aad2d2a52ce52d6ea6452faf8d1788f0c83f (patch) | |
| tree | 281b8320f78424383e0f45f2bfd678c07a5360ae /crates/ra_arena | |
| parent | 2075e77ee5784e72396c64c9ca059763508219ff (diff) | |
KISS SourceChange
The idea behind requiring the label is a noble one, but we are not
really using it consistently anyway, and it should be easy to retrofit
later, should we need it.
Diffstat (limited to 'crates/ra_arena')
0 files changed, 0 insertions, 0 deletions