diff options
author | Martin Ruckert <martin.ruckert@hm.edu> | 2023-11-27 15:41:21 +0000 |
---|---|---|
committer | Martin Ruckert <martin.ruckert@hm.edu> | 2023-11-27 15:41:21 +0000 |
commit | efc23d55ec92d47d6839593a6706ff93d4784f8f (patch) | |
tree | cffc15b877a7ed05f5462c0ad163a26c1139c6f4 /Master/texmf-dist/doc/fonts/antt | |
parent | a250406b41a8ba977c037f4b18fa9290f5b35f2f (diff) |
HINT: allow input files without extension for compatibility with other engines
git-svn-id: svn://tug.org/texlive/trunk@68980 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/fonts/antt')
0 files changed, 0 insertions, 0 deletions