diff options
author | Karl Berry <karl@freefriends.org> | 2018-05-16 20:50:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-05-16 20:50:20 +0000 |
commit | 7744888e7ca8f9d9a9a03ed0e959fc4a6415648e (patch) | |
tree | eacb3e46791edd49855162e7b934c7d678e15206 /Master/texmf-dist/tex/texinfo | |
parent | 06c95361f29482bdc73cdb4c242bc067fc9b110f (diff) |
uantwerpendocs (16may18)
git-svn-id: svn://tug.org/texlive/trunk@47732 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/texinfo')
0 files changed, 0 insertions, 0 deletions