diff options
Diffstat (limited to 'Master/texmf/lists/bin-aleph')
-rw-r--r-- | Master/texmf/lists/bin-aleph | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Master/texmf/lists/bin-aleph b/Master/texmf/lists/bin-aleph deleted file mode 100644 index 58df0357f92..00000000000 --- a/Master/texmf/lists/bin-aleph +++ /dev/null @@ -1,9 +0,0 @@ -+bin-omega - - -texmf/fmtutil/format.aleph.cnf -texmf/tpm/bin-aleph.tpm -texmf/web2c/aleph.pool -!BuildFormat aleph - -texmf/lists/bin-aleph |