diff options
author | Karl Berry <karl@freefriends.org> | 2019-11-15 18:38:19 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-11-15 18:38:19 +0000 |
commit | afaeb779b71749474c5387bf357efcde8589c9e7 (patch) | |
tree | 167c47ae8392fd7cc4b0994d50bd08262355430b /Master/index.html | |
parent | cedf923f06a9abb37d2755491cb6e43fbe741210 (diff) |
(check_executes): check lualatex-dev format again, more
informative output, more ddebugging.
git-svn-id: svn://tug.org/texlive/trunk@52799 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/index.html')
0 files changed, 0 insertions, 0 deletions