diff options
author | Karl Berry <karl@freefriends.org> | 2017-07-17 22:38:07 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-07-17 22:38:07 +0000 |
commit | 6e57bc8799075980ca390ea519a76c883b242009 (patch) | |
tree | 96b23496d2f8b0bb82441a147e1beec47db5ff24 /Master/tlpkg/tlpsrc/jfmutil.tlpsrc | |
parent | 81aeb136c7deaf913b0fe9040425ddc6aaf3c447 (diff) |
jfmutil (17jul17)
git-svn-id: svn://tug.org/texlive/trunk@44835 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/jfmutil.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/jfmutil.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/jfmutil.tlpsrc b/Master/tlpkg/tlpsrc/jfmutil.tlpsrc new file mode 100644 index 00000000000..dca338c719c --- /dev/null +++ b/Master/tlpkg/tlpsrc/jfmutil.tlpsrc @@ -0,0 +1 @@ +binpattern f bin/${ARCH}/${PKGNAME} |