Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
verbatim_written = 1;
is done at least after the first time the tex…
…t is write down to the file. git-svn-id: svn://tug.org/texlive/trunk/Build/source@69248 c570f23f-e606-0410-a88d-b1316a301751
- Loading branch information