]> git.lizzy.rs Git - rust.git/commit
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)
commitcbb40cd0f2157b93f6c7774d11bc9aa5a9882352
treea5c4633411f8ce8dd9ac9e1c05107184e10df39f
parent7e95290caab37233eebc323351d353ecdb3ce782
parent8c2a37a04abd3a921ee315aa5e1b62f3c52570a7
Rollup merge of #86819 - GuillaumeGomez:cleanup-rustdoc-ids, r=jyn514

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`