summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorPiotr Strzelczyk <piotr@eps.gda.pl>2009-07-28 08:52:05 +0000
committerPiotr Strzelczyk <piotr@eps.gda.pl>2009-07-28 08:52:05 +0000
commit3ca54dc09814adcddc6a955cede680392a8092e2 (patch)
tree55c7c7135dddb3cdfa0beb6bb297b089ee22b9ec /Build
parent6227594e27c9d86dca0d06e5dac642e67521e74d (diff)
temporarily disable tlmgr restart after infra update (needs more work)
git-svn-id: svn://tug.org/texlive/trunk@14479 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions