diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2024-07-22 11:08:53 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2024-07-22 11:08:53 +0000 |
commit | aaef2b399398f71a4dfeed0bfdf6c9cfb9215510 (patch) | |
tree | caf44e7fa75352d458b0e68ab5c9cd545e453794 /Master/texmf-dist/tex/latex/addlines/addlines.sty | |
parent | bcd644f31772218317a401b658df2577b74b4ece (diff) |
[CWEB] Purge unused '\font's in cwebman.tex.
There might have been use for '\ninett' in the page headers.
git-svn-id: svn://tug.org/texlive/trunk@71868 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/addlines/addlines.sty')
0 files changed, 0 insertions, 0 deletions