]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6d225bb 643d8e9)
Rollup merge of #107471 - notriddle:notriddle/default-settings, r=GuillaumeGomez
authorMatthias Krüger <matthias.krueger@famsik.de>
Tue, 7 Feb 2023 16:57:14 +0000 (17:57 +0100)
committerGitHub <noreply@github.com>
Tue, 7 Feb 2023 16:57:14 +0000 (17:57 +0100)
rustdoc: do not include empty default-settings tag in HTML

1  2 
src/librustdoc/html/templates/page.html patch | diff1 | diff2 | blob | history

Empowering everyone to build reliable and efficient software.