diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/extensions.h')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/extensions.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/extensions.h b/Build/source/texk/web2c/luatexdir/tex/extensions.h index 01a75b7e387..b6839534439 100644 --- a/Build/source/texk/web2c/luatexdir/tex/extensions.h +++ b/Build/source/texk/web2c/luatexdir/tex/extensions.h @@ -112,7 +112,6 @@ extern int synctexoffset; extern pool_pointer edit_name_start; extern int edit_name_length, edit_line; -extern int ipcon; extern boolean stop_at_space; extern int shellenabledp; extern int restrictedshell; |