diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-04-12 14:41:58 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-04-12 14:41:58 +0000 |
commit | f4eeefac4175916b6911ae7e89f5ff898181340c (patch) | |
tree | 256cdbcde7d03e29581257f3eaecb84073a9f48b /Master/texmf-dist/tex/texinfo | |
parent | 2a75404b51e32b8b957a337ff1ef184e8e5e5cfe (diff) |
remove obsolete shell script
git-svn-id: svn://tug.org/texlive/trunk@36786 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/texinfo')
0 files changed, 0 insertions, 0 deletions