diff options
author | Karl Berry <karl@freefriends.org> | 2019-11-12 21:34:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-11-12 21:34:13 +0000 |
commit | 2db5e30d8ef78173dce1114cd78318957dac2023 (patch) | |
tree | 7f38d3e7d3fa4941721007720852d4b4e1273c0c /Master/texmf-dist/fonts | |
parent | cd6c1ed1544340a5fe654b4ece401866da516c19 (diff) |
(check_executes): do not bother to check
lualatex-dev, situation is too confused.
git-svn-id: svn://tug.org/texlive/trunk@52752 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts')
0 files changed, 0 insertions, 0 deletions