projects / rustc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d95e4a) | patch
Prefer local CSS to remote
authorXimin Luo <infinity0@debian.org>
Thu, 30 May 2019 04:52:37 +0000 (05:52 +0100)
committerXimin Luo <infinity0@debian.org>
Thu, 30 May 2019 04:52:37 +0000 (05:52 +0100)
commitf04848c873ca45721c7dd33a03ae09b45af3fac3
treee36e2d7ddb66a4507f1a59cd5e6e3911259950f6tree | snapshot
parent1d95e4a293bc339dba5784deda819200871260c7commit | 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.