]> gitweb.factorcode.org Git - factor.git/commit
pdf.values: fix names for some fonts.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 3 Mar 2020 19:09:11 +0000 (11:09 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 3 Mar 2020 19:09:11 +0000 (11:09 -0800)
commit9d16162371373a884d0cb4e2745f42632199be2c
treebc61c0cedc529c6096e756fcfd2f1c0ba6a697fc
parent5a1b77389970f2bf847f07fb3ae129429a28754a
pdf.values: fix names for some fonts.
extra/pdf/values/values.factor