diff options
author | Karl Berry <karl@freefriends.org> | 2017-10-09 22:07:51 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-10-09 22:07:51 +0000 |
commit | ab470e9d889b5624187d9c30bb9ff093348039de (patch) | |
tree | 8ad791ed60d32b3f970da0069ffa5fe45232e21e /Master/texmf-dist/source/plain | |
parent | 46088a3268571a362dd9a36835c27eb3c4cfe42a (diff) |
isopt (9oct17)
git-svn-id: svn://tug.org/texlive/trunk@45509 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/plain')
0 files changed, 0 insertions, 0 deletions