network_gui.c
changeset 1881 435d39bd6ee0
parent 1843 8e2628948b01
child 1891 862800791170
--- a/network_gui.c	Mon May 30 21:46:10 2005 +0000
+++ b/network_gui.c	Mon May 30 22:16:05 2005 +0000
@@ -4,7 +4,6 @@
 #include "strings.h"
 #include "table/sprites.h"
 #include "network.h"
-#include "saveload.h"
 
 #include "hal.h" // for file list