Some include file optimizations. Fixes for the server.

2007-05-15 20:37:37 +00:00
parent c3fd4dded6
commit c160a09811
19 changed files with 144 additions and 123 deletions
@@ -20,13 +20,9 @@
 #include "game.h"
 #include "gamedata.h"

-#include "enginefactory.h"
-#include "localenginefactory.h"
-
-#include "guiinterface.h"
-#include "boardinterface.h"
-#include "playerinterface.h"
-#include "handinterface.h"
+#include <localenginefactory.h>
+#include <guiinterface.h>
+#include <tools.h>

 using namespace std;