diff options
| author | Karl Berry <karl@freefriends.org> | 2018-04-11 21:42:33 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-04-11 21:42:33 +0000 |
| commit | b38c77d4660aa351cb1ec83bc96a1eccdcad3d0b (patch) | |
| tree | f2512893452b04a447e068d45b52620e554b918c /Master/source | |
| parent | 2ae65e96bea60a55c38b35540a08da34a6bf5813 (diff) | |
(MAKEINST): save all tlpdb files in /tmp/pruneimg.pre.
git-svn-id: svn://tug.org/texlive/trunk@47451 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/source')
0 files changed, 0 insertions, 0 deletions