changeset 8116 | 8da76dcb3287 |
parent 8114 | dd6d21dc99c1 |
child 8121 | 3bc6351e7369 |
--- a/src/settings_gui.cpp Fri Dec 21 21:16:14 2007 +0000 +++ b/src/settings_gui.cpp Fri Dec 21 21:50:46 2007 +0000 @@ -13,7 +13,7 @@ #include "window_gui.h" #include "textbuf_gui.h" #include "gfx.h" -#include "command.h" +#include "command_func.h" #include "engine.h" #include "screenshot.h" #include "newgrf.h"