]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #87210 - notriddle:notriddle/rustdoc-sidebar-headers, r=GuillaumeGomez
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Mon, 19 Jul 2021 09:37:42 +0000 (11:37 +0200)
committerGitHub <noreply@github.com>
Mon, 19 Jul 2021 09:37:42 +0000 (11:37 +0200)
commit456ebd30d5b5f72d1ff75b6bd7a86612fc28017b
tree728fcf19ec038b6aee4ab84792da85e7915612ce
parent0fce468fe80ef818587d3fd2b4702a7d99f59cc4
parent1941764607cf1c2f85d1301496d5e49eb3e5356a
Rollup merge of #87210 - notriddle:notriddle/rustdoc-sidebar-headers, r=GuillaumeGomez

Rustdoc accessibility: make the sidebar headers actual headers

Part of #87059

Preview it at: https://notriddle.com/notriddle-rustdoc-test/rustdoc-sidebar-header/std/index.html