diff options
author | Karl Berry <karl@freefriends.org> | 2021-05-15 17:45:58 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-05-15 17:45:58 +0000 |
commit | f94ed5ca0fd496c299c6177fc0af2c4309bccf9e (patch) | |
tree | dd6fc9cce095eb4c27cacf4d2669e69a8240fc5a /Master/bin/aarch64-linux/inimf | |
parent | 5ed3988e453696d6cf60c5379b18c5b27e38804a (diff) |
(check_runfiles): do case-insensitive check;
ignore resulting clashes ([cC]herokee.tfm etc.)
which have done no harm for years.
git-svn-id: svn://tug.org/texlive/trunk@59208 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/aarch64-linux/inimf')
0 files changed, 0 insertions, 0 deletions