diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-13 08:53:50 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-13 08:53:50 +0000 |
commit | ddec8a038b04d13b12eccfa71bd24b78967dd8c5 (patch) | |
tree | 3b8e00fa7a8f1ae473b3eee42cdd0fb60b82f2b8 /Build/source/texk/web2c/mf.ch | |
parent | 54c54c6d0b45446d5def44645ee8f47c93f2f5e1 (diff) |
TeX & METAFONT: Restore the word 'preloaded' from format and base idents as requested by Knuth
git-svn-id: svn://tug.org/texlive/trunk@32650 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/mf.ch')
-rw-r--r-- | Build/source/texk/web2c/mf.ch | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/mf.ch b/Build/source/texk/web2c/mf.ch index ebfe2a3d78b..435561e7450 100644 --- a/Build/source/texk/web2c/mf.ch +++ b/Build/source/texk/web2c/mf.ch @@ -2119,12 +2119,6 @@ undump_int(x);@+if (x<>69069)or eof(base_file) then goto off_base undump_int(x);@+if x<>69069 then goto off_base @z -@x [48.1200] Eliminate probably-wrong word `preloaded' from base_idents. -print(" (preloaded base="); print(job_name); print_char(" "); -@y -print(" (base="); print(job_name); print_char(" "); -@z - @x [49.1204] Dynamic allocation. @p begin @!{|start_here|} @y |