src/gui.h
changeset 8268 5027ad5e70a0
parent 8264 b1e85998c7d3
child 8360 3021c928de6c
--- a/src/gui.h	Sun Jan 13 13:11:59 2008 +0000
+++ b/src/gui.h	Sun Jan 13 13:36:01 2008 +0000
@@ -112,7 +112,6 @@
 
 /* main_gui.cpp */
 void HandleOnEditText(const char *str);
-VARDEF bool _station_show_coverage;
 
 void InitializeGUI();