diff options
author | Karl Berry <karl@freefriends.org> | 2014-05-04 17:30:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-05-04 17:30:28 +0000 |
commit | f9822caf9ce5ac6d46ea90d6c8ceff29a96a4fb3 (patch) | |
tree | b41d8aca9e3c6ed111e89be3f5b9b23660c06e26 /Master/tlpkg/tlpsrc/venturisadf.tlpsrc | |
parent | d01efbd469a94e21b4935d9e6209466edc531195 (diff) |
man pages should be docpattern, not runpattern (report from Edd Barrett, 23 Nov 2013 14:54:02)
git-svn-id: svn://tug.org/texlive/trunk@33818 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/venturisadf.tlpsrc')
0 files changed, 0 insertions, 0 deletions