diff options
author | Karl Berry <karl@freefriends.org> | 2016-04-10 23:45:53 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-04-10 23:45:53 +0000 |
commit | 053f14ab587bbbfc313076a79e51705e805babbb (patch) | |
tree | 0763a510ea0c5384e09897c1e97362af9d27cf9d /Master/readme-html.dir | |
parent | 174ed74243ccbbeff55481a022ce4c1a931a760c (diff) |
font-change*.tex is doc, default-amssymbols.tex is runtime
git-svn-id: svn://tug.org/texlive/trunk@40403 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/readme-html.dir')
0 files changed, 0 insertions, 0 deletions