diff options
author | fee1-dead <ent3rm4n@gmail.com> | 2022-12-27 00:34:53 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-27 00:34:53 +0800 |
commit | 786e0b5577f6ad9a41c692fcd0a91077a05d2928 (patch) | |
tree | 94202ab9a4c2c55b49933a62aee2429b1a271b29 /tests/rustdoc-js-std/parser-errors.js | |
parent | 24265827c826b426f12479d0006d96827866fe91 (diff) | |
parent | caa201fb9602aa8df874a1f95c40f47d742d8a8a (diff) | |
download | rust-786e0b5577f6ad9a41c692fcd0a91077a05d2928.tar.gz |
Rollup merge of #106153 - GuillaumeGomez:search-tabs-headers, r=notriddle
Fix missing renaming for #titles into #search-tabs
We forgot to update this selector in the themes in https://github.com/rust-lang/rust/pull/106069.
r? `@notriddle`
Diffstat (limited to 'tests/rustdoc-js-std/parser-errors.js')
0 files changed, 0 insertions, 0 deletions