summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorLuigi Scarso <luigi.scarso@gmail.com>2019-10-20 11:20:11 +0000
committerLuigi Scarso <luigi.scarso@gmail.com>2019-10-20 11:20:11 +0000
commitc908e99d39a3eb22a2933c10824f1e2abb446371 (patch)
tree3e924b0ebc0385d75c873c538a1a878be1a3fd4c /Master
parent9e6f42cdf78a45a14a76043d2290eb5efac05b6d (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