diff options
Diffstat (limited to 'Build/source/texk/web2c/omegafonts/header_routines.h')
-rw-r--r-- | Build/source/texk/web2c/omegafonts/header_routines.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/omegafonts/header_routines.h b/Build/source/texk/web2c/omegafonts/header_routines.h index d06eee048fa..b6d1fddf9a5 100644 --- a/Build/source/texk/web2c/omegafonts/header_routines.h +++ b/Build/source/texk/web2c/omegafonts/header_routines.h @@ -104,4 +104,3 @@ extern void output_ofm_header(void); extern void set_ofm_level(unsigned); extern void set_font_dir(unsigned); -extern void output_ofm_header(void); |