diff options
author | Karl Berry <karl@freefriends.org> | 2013-09-15 19:34:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-09-15 19:34:16 +0000 |
commit | ba51c019f0b1098d506774f77a6f32d8378c7888 (patch) | |
tree | c3ca635f838f3f94256494fd12bed5d2b1ded7ea /Master/tlpkg | |
parent | c58792b048d9b6ccc220792a0a7b13c90b08fc38 (diff) |
(action_option): allow tlmgr option repo for
short, and bump version number for critical update.
git-svn-id: svn://tug.org/texlive/trunk@31657 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
0 files changed, 0 insertions, 0 deletions