diff options
author | Piotr Strzelczyk <piotr@eps.gda.pl> | 2010-03-01 23:09:43 +0000 |
---|---|---|
committer | Piotr Strzelczyk <piotr@eps.gda.pl> | 2010-03-01 23:09:43 +0000 |
commit | 22e1ea793c2800134b08e2148376a5dfa8722750 (patch) | |
tree | 14bc0f9b1e2495c776caa11c02ea522690aed46d /Master/texmf-dist/source/latex/minted | |
parent | 21b74c37c7412dcdd996efaa9ae58dd4bba578b6 (diff) |
exclude gui stubs from consistency check
git-svn-id: svn://tug.org/texlive/trunk@17267 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/minted')
0 files changed, 0 insertions, 0 deletions