1 files changed, 0 insertions, 30 deletions
diff --git a/Master/texmf/lists/doublestroke b/Master/texmf/lists/doublestroke
deleted file mode 100644
index b3959431839..00000000000
--- a/Master/texmf/lists/doublestroke
+++ /dev/null
@@ -1,30 +0,0 @@
-texmf-dist/doc/fonts/doublestroke/README
-texmf-dist/doc/fonts/doublestroke/dsdoc.pdf
-texmf-dist/doc/fonts/doublestroke/dsdoc.tex
-texmf-dist/fonts/map/dvips/doublestroke/dstroke.map
-texmf-dist/fonts/source/public/doublestroke/dsrom.mf
-texmf-dist/fonts/source/public/doublestroke/dsrom10.mf
-texmf-dist/fonts/source/public/doublestroke/dsrom12.mf
-texmf-dist/fonts/source/public/doublestroke/dsrom8.mf
-texmf-dist/fonts/source/public/doublestroke/dsromo.mf
-texmf-dist/fonts/source/public/doublestroke/dsromu.mf
-texmf-dist/fonts/source/public/doublestroke/dsss10.mf
-texmf-dist/fonts/source/public/doublestroke/dsss12.mf
-texmf-dist/fonts/source/public/doublestroke/dsss8.mf
-texmf-dist/fonts/tfm/public/doublestroke/dsrom10.tfm
-texmf-dist/fonts/tfm/public/doublestroke/dsrom12.tfm
-texmf-dist/fonts/tfm/public/doublestroke/dsrom8.tfm
-texmf-dist/fonts/tfm/public/doublestroke/dsss10.tfm
-texmf-dist/fonts/tfm/public/doublestroke/dsss12.tfm
-texmf-dist/fonts/tfm/public/doublestroke/dsss8.tfm
-texmf-dist/fonts/type1/public/doublestroke/dsrom10.pfb
-texmf-dist/fonts/type1/public/doublestroke/dsrom12.pfb
-texmf-dist/fonts/type1/public/doublestroke/dsrom8.pfb
-texmf-dist/fonts/type1/public/doublestroke/dsss10.pfb
-texmf-dist/fonts/type1/public/doublestroke/dsss12.pfb
-texmf-dist/fonts/type1/public/doublestroke/dsss8.pfb
-texmf-dist/tex/latex/doublestroke/Udsrom.fd
-texmf-dist/tex/latex/doublestroke/Udsss.fd
-texmf-dist/tex/latex/doublestroke/dsfont.sty
-texmf/lists/doublestroke
-!addMap dstroke.map