diff options
Diffstat (limited to 'Master/texmf-dist/metafont/base/null.mf')
| -rw-r--r-- | Master/texmf-dist/metafont/base/null.mf | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Master/texmf-dist/metafont/base/null.mf b/Master/texmf-dist/metafont/base/null.mf deleted file mode 100644 index 9828fbb16f7..00000000000 --- a/Master/texmf-dist/metafont/base/null.mf +++ /dev/null @@ -1,3 +0,0 @@ -% This is an empty METAFONT source file. Why do you want it? Because if -% mf says `Please type another input file name:' and if you don't have one -% in mind, you can just say `null' and METAFONT will get out of its loop. |