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 | |
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')
0 files changed, 0 insertions, 0 deletions