diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/play-font.tlpsrc | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc index 3dc6aa9a84a..b6df27cad53 100644 --- a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc @@ -263,7 +263,6 @@ depend paratype depend phaistos depend phonetic depend pigpen -depend play-font depend playfair depend plex depend plex-otf 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 |