summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/luatexdir/tex/extensions.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/extensions.h')
-rw-r--r--Build/source/texk/web2c/luatexdir/tex/extensions.h1
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;