diff options
| author | Philipp Krones <hello@philkrones.com> | 2021-07-28 15:06:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-28 15:06:27 +0200 |
| commit | 464c85c8c1c71feda6e53eb9d8713bfdafaf7d8b (patch) | |
| tree | e58ac96a0819f774260a28ea7c1dcdcca567bee2 /compiler/rustc_interface/src | |
| parent | bcdf147aafc6d1c365487abd88cb0bc1cf5f2e63 (diff) | |
| parent | 9bc5803195f75895614feae27607564da01d100a (diff) | |
| download | rust-464c85c8c1c71feda6e53eb9d8713bfdafaf7d8b.tar.gz rust-464c85c8c1c71feda6e53eb9d8713bfdafaf7d8b.zip | |
Rollup merge of #7420 - xFrednet:7172-update-lint-documentation, r=flip1995
Update lint documentation to use markdown headlines This PR updates all lint documentation to use markdown headlines. It additionally removed the *Known problems* section for lints without any problems. I've double-checked all automatic replacements, but a second pair of eyes is definitely appreciated! I wasn't sure when you wanted to switch to the new metadata collection tomorrow, I therefore prepared this PR today. And that's it this is a standalone PR to keep the other related PRs reviewable. changelog: none r? `@flip1995` cc: #7172 Note: This should be merged with the other metadata collection related PRs.
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions