diff options
| author | bors <bors@rust-lang.org> | 2020-12-22 10:32:03 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-12-22 10:32:03 +0000 |
| commit | 75e1acb63a642fa78cb8c382d7462b41fa2b56cd (patch) | |
| tree | 6fc1ec36755859c505831a2f1ee074990e09b165 /src/librustdoc/html/static/source-script.js | |
| parent | 793931f4220297f20116d61ac1a76c74b0fa3311 (diff) | |
| parent | 5b6c175566e55e29c0d2c39cb0dab2119ac40c82 (diff) | |
| download | rust-75e1acb63a642fa78cb8c382d7462b41fa2b56cd.tar.gz rust-75e1acb63a642fa78cb8c382d7462b41fa2b56cd.zip | |
Auto merge of #78242 - Nadrieril:rename-overlapping_endpoints-lint, r=varkor
Rename `overlapping_patterns` lint As discussed in https://github.com/rust-lang/rust/issues/65477. I also tweaked a few things along the way. r? `@varkor` `@rustbot` modify labels: +A-exhaustiveness-checking
Diffstat (limited to 'src/librustdoc/html/static/source-script.js')
0 files changed, 0 insertions, 0 deletions