diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2022-03-08 05:12:25 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2022-03-08 05:12:25 +0000 |
commit | ac3e6c9162fcf0dd4651c2bbccae860934485300 (patch) | |
tree | 46e6348a5c258b98bf450414094111e1ad1093d0 /Master/bin/win32/ppltotf.exe | |
parent | 71bd222c9709b0484a11948996dbf6bf4473cc6c (diff) |
fix a bug in recorder (w32 only)
git-svn-id: svn://tug.org/texlive/trunk@62512 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32/ppltotf.exe')
0 files changed, 0 insertions, 0 deletions