]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7e95290 8c2a37a)
Rollup merge of #86819 - GuillaumeGomez:cleanup-rustdoc-ids, r=jyn514
authorYuki Okushi <jtitor@2k36.org>
Wed, 7 Jul 2021 03:17:40 +0000 (12:17 +0900)
committerGitHub <noreply@github.com>
Wed, 7 Jul 2021 03:17:40 +0000 (12:17 +0900)
Clean up rustdoc IDs

I cherry-picked the commit from https://github.com/rust-lang/rust/pull/86178. It adds missing rustdoc IDs (for the HTML) and remove unused ones.

cc `@camelid`

r? `@jyn514`


Trivial merge
Empowering everyone to build reliable and efficient software.