diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-25 15:21:04 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-25 15:21:04 +0000 |
commit | db15e1c2f2049c0c59812ed51a4b6be3228b2097 (patch) | |
tree | 4fd272d33b20eb9ea7e67c21795c65b9b5300ec0 /Master/texmf-doc | |
parent | dfa9088c324e296ca7f1bbb19485213584c723f6 (diff) |
make list() a little bit faster and really rm docdirs from the -s search
git-svn-id: svn://tug.org/texlive/trunk@9767 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-doc')
0 files changed, 0 insertions, 0 deletions