diff options
author | Piotr Strzelczyk <piotr@eps.gda.pl> | 2009-07-28 08:52:05 +0000 |
---|---|---|
committer | Piotr Strzelczyk <piotr@eps.gda.pl> | 2009-07-28 08:52:05 +0000 |
commit | 3ca54dc09814adcddc6a955cede680392a8092e2 (patch) | |
tree | 55c7c7135dddb3cdfa0beb6bb297b089ee22b9ec /Build | |
parent | 6227594e27c9d86dca0d06e5dac642e67521e74d (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