diff options
author | Karl Berry <karl@freefriends.org> | 2014-11-02 21:51:21 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-11-02 21:51:21 +0000 |
commit | da3fae7e9a9a162897542972b7c2bac81abc26af (patch) | |
tree | 65a82b8ec6eb5a5eae050f89d497d159762089b5 /Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins | |
parent | 51ec6e433bd9725256316ccf794181655208c7d3 (diff) |
tikzsymbols (2nov14)
git-svn-id: svn://tug.org/texlive/trunk@35484 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins b/Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins index c274cd1e002..c0305eb4ccd 100644 --- a/Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins +++ b/Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins @@ -18,7 +18,8 @@ \input docstrip.tex -\keepsilent +\askforoverwritefalse +%\keepsilent \usedir{tex/latex/tikzsymbols} |