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/tlpkg/tlpsrc/hatching.tlpsrc | |
| 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/tlpkg/tlpsrc/hatching.tlpsrc')
0 files changed, 0 insertions, 0 deletions