projects / rustc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99f9f08) | patch
Prefer local CSS to remote
authorXimin Luo <infinity0@debian.org>
Tue, 8 Sep 2020 16:38:19 +0000 (17:38 +0100)
committerEmilio Pozuelo Monfort <pochu@debian.org>
Tue, 8 Sep 2020 16:38:19 +0000 (17:38 +0100)
commit8e355e4965dbcd3c7bdc8aeddc74f57ac66383ae
tree331380bb99238d79b219378ffbd53f6136e32fc0tree | snapshot
parent99f9f089ea3f44bb346b929855de18a5785aa903commit | diff
Prefer local CSS to remote

Bug: https://github.com/rust-lang/rust/pull/45331

Gbp-Pq: Name u-prefer-local-css.patch
src/bootstrap/doc.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.