diff options
author | Luigi Scarso <luigi.scarso@gmail.com> | 2017-03-24 00:34:01 +0000 |
---|---|---|
committer | Luigi Scarso <luigi.scarso@gmail.com> | 2017-03-24 00:34:01 +0000 |
commit | 61e0a756c8bd5b2b5c5501bffd7a65486f8b1249 (patch) | |
tree | a42866621badb6b3316ee495b4d0a6030be65960 /Build/source/doc/Makefile.in | |
parent | 511d523f9c0456937f392cab51c70f0dcf6ae1bc (diff) |
fixed increment of header_last.
git-svn-id: svn://tug.org/texlive/trunk@43591 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc/Makefile.in')
0 files changed, 0 insertions, 0 deletions