projects / rustc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eba73ab) | patch
Prefer local CSS to remote
authorXimin Luo <infinity0@debian.org>
Sat, 18 May 2019 19:18:25 +0000 (20:18 +0100)
committerXimin Luo <infinity0@debian.org>
Sat, 18 May 2019 19:18:25 +0000 (20:18 +0100)
commit8f62318e62c22d12dbadd9380d1f4fb131a26c0d
tree7e27e66aa3c6beaf2608933498a786ecee90c6b5tree | snapshot
parenteba73ab6b5adbc168efbb2c90c894281c730d63bcommit | 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.