projects / rustc-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d512643) | patch
removed some embedded fonts
authorDebian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Thu, 14 Jul 2022 11:17:39 +0000 (13:17 +0200)
committerEmilio Pozuelo Monfort <pochu@debian.org>
Wed, 28 Aug 2024 14:44:23 +0000 (16:44 +0200)
commita6d9f49b38bfb113fd97d67b8adcb490226d0988
treeae4c444b7ab66fb541c8c2f40a9d6cbdf8e8c1batree | snapshot
parentd512643436d6f40e56c039fa3b0dfadbd27ce304commit | diff
removed some embedded fonts

Forwarded: not-needed
===================================================================

Gbp-Pq: Topic behaviour
Gbp-Pq: Name d-rustdoc-disable-embedded-fonts.patch
src/librustdoc/html/static/css/rustdoc.css diff | blob | history
src/librustdoc/html/static_files.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.