diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2020-04-29 12:27:33 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-04-29 12:27:33 +0000 |
commit | 6c709749d4346f60915789274fb6baab0f254926 (patch) | |
tree | c645edb1c147464eb0015af9f1f950f12f5c28dc /Master | |
parent | 6dfd844029ee24f9e97f418e80d082d41560cf47 (diff) |
[CWEB] Purge irrelevant mention of .web extension.
CWEB in TeX Live appends only '.w' to source files on the command-line,
not the Pascal-oriented '.web'.
git-svn-id: svn://tug.org/texlive/trunk@54934 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
0 files changed, 0 insertions, 0 deletions