diff options
author | Karl Berry <karl@freefriends.org> | 2020-06-20 20:40:11 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-06-20 20:40:11 +0000 |
commit | 542262014b6cc6afc0abc938c970167885bd6f13 (patch) | |
tree | e6ee181a15f03b58c89429840cff3326e8671595 /Master/tlpkg/tlpsrc/namedef.tlpsrc | |
parent | 52754e17bbd32c1dc6bd13621df8bc3149abe864 (diff) |
namedef (20jun20)
git-svn-id: svn://tug.org/texlive/trunk@55606 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/namedef.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/namedef.tlpsrc | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/namedef.tlpsrc b/Master/tlpkg/tlpsrc/namedef.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/namedef.tlpsrc |