src/network/network_gui.cpp
changeset 8116 8da76dcb3287
parent 8114 dd6d21dc99c1
child 8123 ce31d2843a95
--- a/src/network/network_gui.cpp	Fri Dec 21 21:16:14 2007 +0000
+++ b/src/network/network_gui.cpp	Fri Dec 21 21:50:46 2007 +0000
@@ -20,7 +20,6 @@
 #include "../window_gui.h"
 #include "../textbuf_gui.h"
 #include "../gfx.h"
-#include "../command.h"
 #include "../variables.h"
 #include "network_server.h"
 #include "network_udp.h"