summaryrefslogtreecommitdiff
path: root/Master/bin/x86_64-linux/pooltype
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2017-04-15 00:14:53 +0000
committerNorbert Preining <preining@logic.at>2017-04-15 00:14:53 +0000
commit60b42ef1e1d7036f8dfe08a7e66f824c26a659fb (patch)
treec19161e6ee8ad923dd18853e2129ca31676a4e55 /Master/bin/x86_64-linux/pooltype
parent4299270b888777d238cab425a55014ae05b6f5d8 (diff)
support forced arguments in standard prompts, no bold
git-svn-id: svn://tug.org/texlive/trunk@43802 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux/pooltype')
0 files changed, 0 insertions, 0 deletions