misc_cmd.c
changeset 1881 023a134a4b12
parent 1878 622765748231
child 1891 92a3b0aa0946
--- a/misc_cmd.c	Mon May 30 21:46:10 2005 +0000
+++ b/misc_cmd.c	Mon May 30 22:16:05 2005 +0000
@@ -7,7 +7,6 @@
 #include "gfx.h"
 #include "window.h"
 #include "gui.h"
-#include "saveload.h"
 #include "economy.h"
 #include "network.h"