]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 31ee872 776e204)
Rollup merge of #77213 - ijackson:wip-rustdoc-settings, r=jyn514,GuillaumeGomez
authorYuki Okushi <huyuumi.dev@gmail.com>
Thu, 29 Oct 2020 03:08:38 +0000 (12:08 +0900)
committerGitHub <noreply@github.com>
Thu, 29 Oct 2020 03:08:38 +0000 (12:08 +0900)
commit2008d1bb0b185286d376d8e1f1093fa9ec070156
tree3841b4703a7378269013f1b4bb44f16dc5710f51tree | snapshot
parent31ee872db5aae4750e3da1ca4ed1523c4356947fcommit | diff
parent776e204609fe4c664eb64af47703427807627c8ecommit | diff
Rollup merge of #77213 - ijackson:wip-rustdoc-settings, r=jyn514,GuillaumeGomez

rustdoc options to set default theme (and other settings)

Hi.  This is the MR I promised in #77024

It is a little more general than I envisaged there.  Once I had found the settings-handling machinery it seemed foolish to add this feature just for the theme.

Closes #77024
Empowering everyone to build reliable and efficient software.