diff options
Diffstat (limited to 'src/hyper/htadd.c')
-rw-r--r-- | src/hyper/htadd.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/hyper/htadd.c b/src/hyper/htadd.c index 6caa50da..2c0a1990 100644 --- a/src/hyper/htadd.c +++ b/src/hyper/htadd.c @@ -77,10 +77,6 @@ extern int line_number; /* keeps track of which line a page starts on * HyperDoc. */ /* for compatibility with HyperDoc */ openaxiom_sio *spad_socket = NULL; -openaxiom_sio *session_server = NULL; -int MenuServerOpened; -Display *gXDisplay; -int gXScreenNumber; int fresh = 0; #define Delete 1 |