diff gui/win32/preferences.c @ 35528:ab07b17fddfb

Rebuild GUI directory structure. Rename ui/gmplayer.h ui/ui.h.
author ib
date Thu, 06 Dec 2012 14:59:06 +0000
parents 7bb176fac55c
children 7d250553d451
line wrap: on
line diff
--- a/gui/win32/preferences.c	Thu Dec 06 14:32:33 2012 +0000
+++ b/gui/win32/preferences.c	Thu Dec 06 14:59:06 2012 +0000
@@ -32,7 +32,7 @@
 #include "osdep/priority.h"
 #include "mixer.h"
 #include "gui/util/list.h"
-#include "gui/ui/gmplayer.h"
+#include "gui/ui/ui.h"
 #include "gui/interface.h"
 #include "gui.h"
 #include "mp_msg.h"