diff options
Diffstat (limited to 'Master/texmf/lists/bin-pdftex')
| -rw-r--r-- | Master/texmf/lists/bin-pdftex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/texmf/lists/bin-pdftex b/Master/texmf/lists/bin-pdftex index e214395b138..a8827dfe955 100644 --- a/Master/texmf/lists/bin-pdftex +++ b/Master/texmf/lists/bin-pdftex @@ -63,7 +63,6 @@ texmf/fonts/map/pdftex/updmap/pdftex_ndl14.map texmf/tex/generic/config/pdftex-dvi.tex texmf/tex/generic/config/pdftexconfig.tex texmf/tpm/bin-pdftex.tpm -texmf/web2c/pdfetex-pl.pool texmf/web2c/pdfetex.pool texmf/web2c/pdftex.pool !BuildFormat pdftex |