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-ui/coverage/json.rs | |
| parent | 24265827c826b426f12479d0006d96827866fe91 (diff) | |
| parent | caa201fb9602aa8df874a1f95c40f47d742d8a8a (diff) | |
| download | rust-786e0b5577f6ad9a41c692fcd0a91077a05d2928.tar.gz rust-786e0b5577f6ad9a41c692fcd0a91077a05d2928.zip | |
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-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions