diff options
author | Karl Berry <karl@freefriends.org> | 2019-12-13 19:10:43 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-12-13 19:10:43 +0000 |
commit | 4380844676de4c9d820f0e52e15dd7b182a19c17 (patch) | |
tree | 8019d71584e02275c2922b2ee37cc80d6b7017b7 /TODO | |
parent | 84142cd1f4cc8ea40a1126bf719747411d3bc132 (diff) |
(check_runfiles): add more special cases of
duplicates that shouldn't exist but we ignore them
anyway. From Pablo L, 7 Dec 2019 13:22:59.
(action_check): formatting.
git-svn-id: svn://tug.org/texlive/trunk@53116 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions