diff options
author | Karl Berry <karl@freefriends.org> | 2018-05-09 22:06:44 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-05-09 22:06:44 +0000 |
commit | 531d73002d7e2a58665132b4aba375d04ecc4b11 (patch) | |
tree | 61bd16b7042d3bd6b26c8ab51910b3c20b0dd5b3 /Master/bin/x86_64-darwin/patgen | |
parent | 603ba49ff1f45dd610144b5e96f29a60b1059c55 (diff) |
branch2018.1 x86_64-darwin binaries from dick
git-svn-id: svn://tug.org/texlive/trunk@47653 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-darwin/patgen')
-rwxr-xr-x | Master/bin/x86_64-darwin/patgen | bin | 50816 -> 50816 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-darwin/patgen b/Master/bin/x86_64-darwin/patgen Binary files differindex efe55ca55ff..5727db06ce9 100755 --- a/Master/bin/x86_64-darwin/patgen +++ b/Master/bin/x86_64-darwin/patgen |