diff options
author | Luigi Scarso <luigi.scarso@gmail.com> | 2023-12-31 12:06:01 +0000 |
---|---|---|
committer | Luigi Scarso <luigi.scarso@gmail.com> | 2023-12-31 12:06:01 +0000 |
commit | 7da3c81f16c9b42d0ef0c040a37a8d9c01339e4b (patch) | |
tree | b5c31fcac08cebd5cbbd0bf907e2200e94c3d80b /Master/texmf-dist | |
parent | fd3c1cb901de7e781c688fa1bdf0dabe00b36694 (diff) |
`verbatim_written = 1;` is done at least after the first time the text is write down to the file.
git-svn-id: svn://tug.org/texlive/trunk@69248 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
0 files changed, 0 insertions, 0 deletions