diff options
| author | Luigi Scarso <luigi.scarso@gmail.com> | 2019-10-20 11:20:11 +0000 |
|---|---|---|
| committer | Luigi Scarso <luigi.scarso@gmail.com> | 2019-10-20 11:20:11 +0000 |
| commit | c908e99d39a3eb22a2933c10824f1e2abb446371 (patch) | |
| tree | 3e924b0ebc0385d75c873c538a1a878be1a3fd4c /Master/tlpkg/texlive.tlpdb | |
| parent | 9e6f42cdf78a45a14a76043d2290eb5efac05b6d (diff) | |
correct casting for work_buffer.
git-svn-id: svn://tug.org/texlive/trunk@52455 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/texlive.tlpdb')
0 files changed, 0 insertions, 0 deletions