diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2019-03-22 22:57:44 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2019-03-22 22:57:44 +0000 |
commit | 3c7015836174a57a5093d719c7bf0076079b173f (patch) | |
tree | 7351aa401117534bf7816ffd37f2d5f84a86b82a /Master/bin/win32/ptex.dll | |
parent | d6ab461f1c42ba7e0e40caecb9086fe88228d67d (diff) |
Fix a bug in the case of --recorder option (w32 only)
git-svn-id: svn://tug.org/texlive/trunk@50539 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32/ptex.dll')
0 files changed, 0 insertions, 0 deletions