diff options
author | Karl Berry <karl@freefriends.org> | 2019-08-07 22:27:00 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-08-07 22:27:00 +0000 |
commit | 282e3b09880bce47524fd4ddee629b1791ce6c06 (patch) | |
tree | 7db3545ad814f6918aec738186cc218a4011dc4a /Master/readme-txt.dir/README.PL | |
parent | a29489932ca8cb92d94b1c858c1590534921639b (diff) |
(only_load_remote): ignore trailing
/texlive.tlpdb, too.
git-svn-id: svn://tug.org/texlive/trunk@51840 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/readme-txt.dir/README.PL')
0 files changed, 0 insertions, 0 deletions