diff options
| author | Luigi Scarso <luigi.scarso@gmail.com> | 2019-11-08 14:41:03 +0000 |
|---|---|---|
| committer | Luigi Scarso <luigi.scarso@gmail.com> | 2019-11-08 14:41:03 +0000 |
| commit | 55e1972720dc4d47899502201e2522e0a3ffd8bb (patch) | |
| tree | d67a69a6d69ff740ed59f6b07b830499f6687294 /Master/texmf-dist/texconfig | |
| parent | 034a409094cd443345893b589c78c74da42de3bf (diff) | |
better recorder code in wrapped lua (HH)
git-svn-id: svn://tug.org/texlive/trunk@52693 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/texconfig')
0 files changed, 0 insertions, 0 deletions