summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-02-10 23:12:25 +0000
committerKarl Berry <karl@freefriends.org>2019-02-10 23:12:25 +0000
commit530ad3572dfbfe5a9f3c246bf678689b6b9fb7e4 (patch)
tree77c8356a7946015ee6f68bc58de99ead54580a1e /Build/source/configure
parent3260d8bfcfd2a4034265ea18664c7dd515722422 (diff)
pxjodel (10feb19)
git-svn-id: svn://tug.org/texlive/trunk@49995 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/configure')
0 files changed, 0 insertions, 0 deletions