diff options
author | Andrew Robbins <contact@andrewrobbins.info> | 2018-12-27 23:43:27 -0500 |
---|---|---|
committer | Andrew Robbins <contact@andrewrobbins.info> | 2018-12-28 21:44:40 -0500 |
commit | a45935c5530aa06989222b0b4413a1f2ada2c815 (patch) | |
tree | c318830a5a81d084cd3abc955e8fd2efd7c8926e /docs/gnulinux/grub_boot_installer.md | |
parent | 23ae353382f819d2b7de7328c813f61784d88ee7 (diff) | |
download | librebootfr-a45935c5530aa06989222b0b4413a1f2ada2c815.tar.gz librebootfr-a45935c5530aa06989222b0b4413a1f2ada2c815.zip |
Amend dejavu-fonts patch message about fontforge
2017-12-20 was not the initial date from which fontforge could
build fonts deterministically--builds of the DejaVu LGC subset were
reproducible for some time before then. Though, it wasn't until that
date that fontforge could reproducibly build the full
DejaVu family of fonts (including DejaVuSansMono, which we use).
Diffstat (limited to 'docs/gnulinux/grub_boot_installer.md')
0 files changed, 0 insertions, 0 deletions