diff options
| author | Karl Berry <karl@freefriends.org> | 2021-03-03 23:54:07 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2021-03-03 23:54:07 +0000 |
| commit | 8ef6da6590344dc33b1bebb9badd37713903ea11 (patch) | |
| tree | b4a2ea4643f1e14e5cb1229c3793184f335c601b /Master/tlpkg | |
| parent | 29c2e66ae1d515d1003a63bc7b1d9adf26c6240d (diff) | |
rm play-font, author request (dup Play.sty) (branch)
git-svn-id: svn://tug.org/texlive/branches/branch2020.0@58100 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
| -rw-r--r-- | Master/tlpkg/tlpsrc/play-font.tlpsrc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/play-font.tlpsrc b/Master/tlpkg/tlpsrc/play-font.tlpsrc deleted file mode 100644 index 9138a8d0f4f..00000000000 --- a/Master/tlpkg/tlpsrc/play-font.tlpsrc +++ /dev/null @@ -1 +0,0 @@ -execute addMap Play.map |