projects / rustc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a36b0de) | patch
Use local web resources instead of remote ones
authorMatthijs van Otterdijk <matthijs@wirevirt.net>
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)
commit495f703cd62418e084cd6d8c0f636b70d53e18e3
tree119e42ab57b73b95652c7e42c3c80fd24d97fb1atree | snapshot
parenta36b0de14e24295bcd9d33ecfa8c0e2d9214dc54commit | diff
Use local web resources instead of remote ones

Bug: https://github.com/azerupi/mdBook/issues/271
Comment:
 Use https://github.com/infinity0/mdBook/tree/debian to help you rebase the
 patch on top of a newer version.
 .
 Make sure the paths here match the ones in debian/rust-doc.links

Comment: Use https://github.com/infinity0/mdBook/tree/debian to help you rebase the patch on top of a newer version. . Make sure the paths here match the ones in debian/rust-doc.links
Gbp-Pq: Name d-0003-mdbook-strip-embedded-libs.patch
src/tools/linkchecker/main.rs diff | blob | history
vendor/mdbook/src/book/init.rs diff | blob | history
vendor/mdbook/src/renderer/html_handlebars/hbs_renderer.rs diff | blob | history
vendor/mdbook/src/renderer/html_handlebars/search.rs diff | blob | history
vendor/mdbook/src/theme/index.hbs diff | blob | history
vendor/mdbook/src/theme/mod.rs diff | blob | history
vendor/mdbook/src/theme/searcher/mod.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.