summaryrefslogtreecommitdiff
path: root/Master/source
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-04-11 21:42:33 +0000
committerKarl Berry <karl@freefriends.org>2018-04-11 21:42:33 +0000
commitb38c77d4660aa351cb1ec83bc96a1eccdcad3d0b (patch)
treef2512893452b04a447e068d45b52620e554b918c /Master/source
parent2ae65e96bea60a55c38b35540a08da34a6bf5813 (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