summaryrefslogtreecommitdiff
path: root/Build/source/texk/tex4htk/Makefile.in
diff options
context:
space:
mode:
authorSiep Kroonenberg <siepo@cybercomm.nl>2020-04-21 11:51:02 +0000
committerSiep Kroonenberg <siepo@cybercomm.nl>2020-04-21 11:51:02 +0000
commite783b071ded7eef421d0333416b47142bc5542cb (patch)
tree373aa750749416f23bbfbd35136cf8a6b5fe9d41 /Build/source/texk/tex4htk/Makefile.in
parentbc8d7784445ea47de3f2b5f07f9cd3297562130d (diff)
GUI font scaling; change language and font size on the fly
git-svn-id: svn://tug.org/texlive/trunk@54823 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/tex4htk/Makefile.in')
0 files changed, 0 insertions, 0 deletions