diff options
Diffstat (limited to 'Master/tlpkg/new-list/bin-dvi2tty.win32')
-rw-r--r-- | Master/tlpkg/new-list/bin-dvi2tty.win32 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Master/tlpkg/new-list/bin-dvi2tty.win32 b/Master/tlpkg/new-list/bin-dvi2tty.win32 deleted file mode 100644 index 3c971b26f55..00000000000 --- a/Master/tlpkg/new-list/bin-dvi2tty.win32 +++ /dev/null @@ -1,3 +0,0 @@ -bin/win32/disdvi.exe -bin/win32/dvi2tty.exe -new-list/bin-dvi2tty.win32 |