src/intro_gui.cpp
changeset 8208 3d0590aa2124
parent 8149 1b1390cb0844
child 8224 c5a64d87cc54
--- a/src/intro_gui.cpp	Sun Jan 06 20:54:55 2008 +0000
+++ b/src/intro_gui.cpp	Mon Jan 07 00:19:09 2008 +0000
@@ -12,7 +12,6 @@
 #include "player.h"
 #include "network/network.h"
 #include "variables.h"
-#include "settings.h"
 #include "heightmap.h"
 #include "genworld.h"
 #include "network/network_gui.h"