]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 9cae1fb 524fdf0)
Rollup merge of #82732 - GuillaumeGomez:remove-theme-file, r=Nemo157
authorYuki Okushi <huyuumi.dev@gmail.com>
Tue, 23 Mar 2021 01:15:40 +0000 (10:15 +0900)
committerGitHub <noreply@github.com>
Tue, 23 Mar 2021 01:15:40 +0000 (10:15 +0900)
commita34cc6bbabefbc8e5dee9343f770b61016d4c6af
treee2b6eb29dee310730d511c1c2c49cb62b7336510tree | snapshot
parent9cae1fb94a50b768b184248ccccbadf082edf9d6commit | diff
parent524fdf00346002ecaee50ce357ddfc0c85485e4ecommit | diff
Rollup merge of #82732 - GuillaumeGomez:remove-theme-file, r=Nemo157

Remove theme.js file

Fixes #82616.

The first commit moves the `theme.js` file into `main.js`, which requires to also run a small `.replace` on the `main.js` content.

The second commit is just a small cleanup to centralize DOM ids.

Since it removes a file from rustdoc output: cc `@rust-lang/docs-rs`

cc `@jsha`
r? `@jyn514`
src/librustdoc/html/layout.rs diff1 | diff2 | blob | history
src/librustdoc/html/render/write_shared.rs diff1 | diff2 | blob | history
src/librustdoc/html/static/main.js diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.