diff options
author | Karl Berry <karl@freefriends.org> | 2018-01-21 00:44:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-01-21 00:44:09 +0000 |
commit | bae071d030d13f63f51e6d6d302f99e5e80a9551 (patch) | |
tree | cd631b8872f1ad4fa26163253b7a85b6a7994516 /Master/texmf-dist/source/latex/pstool/pstool.ins | |
parent | d45eeb3d3b93472277ffe2d7029a60fe360188b2 (diff) |
pstool (20jan18)
git-svn-id: svn://tug.org/texlive/trunk@46393 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/pstool/pstool.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/pstool/pstool.ins | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/texmf-dist/source/latex/pstool/pstool.ins b/Master/texmf-dist/source/latex/pstool/pstool.ins deleted file mode 100644 index 7177afc608e..00000000000 --- a/Master/texmf-dist/source/latex/pstool/pstool.ins +++ /dev/null @@ -1,4 +0,0 @@ -%&latex -\def\pstoolCompile{N} -\input pstool.tex -\csname @@end\endcsname |