diff options
author | Karl Berry <karl@freefriends.org> | 2016-06-10 21:47:45 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-06-10 21:47:45 +0000 |
commit | 66681cce466f39f0fc76a55d7a0b1d9c6142c660 (patch) | |
tree | 8a3827a9997518b00affd8d114863a0073c8c14e /Master/tlpkg/tlpsrc/tex.tlpsrc | |
parent | 632693bc68c5f9d12b8c4d13428ee05b3e3dba64 (diff) |
optidef (10jun16)
git-svn-id: svn://tug.org/texlive/trunk@41347 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/tex.tlpsrc')
0 files changed, 0 insertions, 0 deletions