diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-12-26 13:09:23 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-12-26 13:09:23 +0100 |
| commit | ade755d25112f8caf9029f9606bc945205644aff (patch) | |
| tree | 9b5d41c1ce4a9c90f2f195f563e74e6ea77cf0a9 /tests/rustdoc-ui/coverage/json.rs | |
| parent | eb1ac047467be68686a0bf4014d770c07e507111 (diff) | |
| download | rust-ade755d25112f8caf9029f9606bc945205644aff.tar.gz rust-ade755d25112f8caf9029f9606bc945205644aff.zip | |
Fix missing renaming for #titles into #search-tabs
Diffstat (limited to 'tests/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions