diff options
author | Karl Berry <karl@freefriends.org> | 2017-06-06 21:53:38 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-06-06 21:53:38 +0000 |
commit | 6807115ffd9431bfc5ba6625cf0b3191a72ed947 (patch) | |
tree | 2264998782cb81a7a22e3d368b80426c4ea86214 /Build/logs | |
parent | af4a841a3ac56bc89bf08019c254921b327d2af7 (diff) |
optidef (24may17)
git-svn-id: svn://tug.org/texlive/trunk@44505 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/logs')
0 files changed, 0 insertions, 0 deletions