changeset 8107 | bb7deea89175 |
parent 8106 | e6790dd9e750 |
child 8114 | dd6d21dc99c1 |
--- a/src/town_gui.cpp Wed Dec 19 19:44:29 2007 +0000 +++ b/src/town_gui.cpp Wed Dec 19 20:45:46 2007 +0000 @@ -13,6 +13,8 @@ #include "gfx.h" #include "viewport.h" #include "gui.h" +#include "window_gui.h" +#include "textbuf_gui.h" #include "command.h" #include "player.h" #include "network/network.h"