diff options
| author | Karl Berry <karl@freefriends.org> | 2017-05-04 17:31:52 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-05-04 17:31:52 +0000 |
| commit | 5577fbe4bdb23bb33f1a36a7867a8a733a399c8e (patch) | |
| tree | d0d26f42c1264b8b754946b00d8727d2fb59a4c4 /Master/.mkisofsrc | |
| parent | b20a0b4a6f703f6ecfe28a6527be52cc8682148d (diff) | |
(do_prompt): check that numeric answer is an
integer, preserve original for errors.
(action_shell): new restart command, error
checking. Document shell to some extent.
git-svn-id: svn://tug.org/texlive/trunk@44189 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/.mkisofsrc')
0 files changed, 0 insertions, 0 deletions