diff options
Diffstat (limited to 'Master/texmf-dist/tex/context/base/mkii/font-heb.mkii')
-rw-r--r-- | Master/texmf-dist/tex/context/base/mkii/font-heb.mkii | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Master/texmf-dist/tex/context/base/mkii/font-heb.mkii b/Master/texmf-dist/tex/context/base/mkii/font-heb.mkii deleted file mode 100644 index 3ec0395f32a..00000000000 --- a/Master/texmf-dist/tex/context/base/mkii/font-heb.mkii +++ /dev/null @@ -1,5 +0,0 @@ -\unprotected \writestatus\m!systems{load ARABTEX as a module instead} - -\usemodule[arabtex] - -\endinput |