diff options
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 1e817753dde..abe01851d93 100644 --- a/Build/source/texk/web2c/mf.ch +++ b/Build/source/texk/web2c/mf.ch @@ -1954,12 +1954,6 @@ if (edit_name_start<>0) and (interaction>batch_mode) then @!init if ini_version then begin store_base_file; return;end;@+tini@/ @z -@x -fix_date_and_time; init_randoms(sys_time+sys_day);@/ -@y -fix_date_and_time; init_randoms(internal[time]+internal[day]);@/ -@z - %@x [49.1211] l.23002 - Handle %&base line. %if (base_ident=0)or(buffer[loc]="&") then %@y |