main_gui.c
changeset 2092 c30495feef79
parent 2085 ae9e92ffe168
child 2116 cdfc27b696b7
--- a/main_gui.c	Sun Jul 17 12:49:00 2005 +0000
+++ b/main_gui.c	Sun Jul 17 13:34:19 2005 +0000
@@ -35,8 +35,6 @@
 extern void DoTestSave(void);
 extern void DoTestLoad(void);
 
-extern bool disable_computer;
-
 static int _rename_id;
 static int _rename_what;