diff options
| author | Aleksey Kladov <aleksey.kladov@gmail.com> | 2020-05-22 18:03:08 +0200 |
|---|---|---|
| committer | Aleksey Kladov <aleksey.kladov@gmail.com> | 2020-05-22 18:04:26 +0200 |
| commit | 2c04aad2d2a52ce52d6ea6452faf8d1788f0c83f (patch) | |
| tree | 281b8320f78424383e0f45f2bfd678c07a5360ae /docs/dev | |
| parent | 2075e77ee5784e72396c64c9ca059763508219ff (diff) | |
| download | rust-2c04aad2d2a52ce52d6ea6452faf8d1788f0c83f.tar.gz rust-2c04aad2d2a52ce52d6ea6452faf8d1788f0c83f.zip | |
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 'docs/dev')
0 files changed, 0 insertions, 0 deletions