diff options
author | Karl Berry <karl@freefriends.org> | 2015-06-15 23:21:00 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2015-06-15 23:21:00 +0000 |
commit | cf42134e440c3c49b1222d85301251e312f85fa5 (patch) | |
tree | 2d929c9b592ebf2d608fb97b4ef80e277da53d98 /Master/texmf-dist/tex/texinfo | |
parent | f13b86e724e8e0dbf92343b0126f84e25f216b4b (diff) |
fixocgx (15jun15)
git-svn-id: svn://tug.org/texlive/trunk@37548 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/texinfo')
0 files changed, 0 insertions, 0 deletions