diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2020-06-08 08:56:18 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-06-08 08:56:18 +0000 |
commit | f7811e4986dbfa99444f5402c88b559b6cd6af1f (patch) | |
tree | b85454f6cd2fb970e174e85e204bf4da88e265f0 /Build/source/texk/web2c/doc/web2c.texi | |
parent | 8729b34626168a091875f7293098c477523d1574 (diff) |
[CTIE] Put 'date' on toc page.
git-svn-id: svn://tug.org/texlive/trunk@55478 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/doc/web2c.texi')
0 files changed, 0 insertions, 0 deletions