summaryrefslogtreecommitdiff
path: root/Master/source
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-05-23 16:38:13 +0000
committerKarl Berry <karl@freefriends.org>2015-05-23 16:38:13 +0000
commit3869a436a3e7179188d9e9f1424bf15777d9b455 (patch)
treed083106ba71a474cf9b2dd4bd5ade108232995aa /Master/source
parent5a0dee160199157151c8c855f4857eb5cc570548 (diff)
allow for making just devsource; typos
git-svn-id: svn://tug.org/texlive/trunk@37483 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/source')
0 files changed, 0 insertions, 0 deletions