diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-02-26 00:46:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-26 00:46:25 +0100 |
| commit | f840799385961b3e047a43af3f44b299f16277df (patch) | |
| tree | 2266b25bc043a5b37677fad6d5ed4c2d4a67551e /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | 34e6673a0473e90ef01a18eb575392c9e3859747 (diff) | |
| parent | 4ecf14372f2f02eef76900dc4a66ee8df12969b8 (diff) | |
| download | rust-f840799385961b3e047a43af3f44b299f16277df.tar.gz rust-f840799385961b3e047a43af3f44b299f16277df.zip | |
Rollup merge of #107062 - tgross35:update-doc-index, r=ehuss
Do some cleanup of doc/index.md I think a lot of people get to this landing page from `rustup doc`, and it's a bit tricky to find some useful information. I attempted to clean it up here a bit, from the commit message: - Add quick link to API docs - Add marker for external links, to help offline users - Add information about using 'cargo doc' and the playground - Clean up some of the wording - Update body & header style to match rustdoc defaults - Bump heading levels so main page header is 1, others are 2 (all were level 1 before)
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions