diff Gui/mplayer/play.c @ 21227:308495b6d611

Rename Gui/mplayer/mplayer.h to gmplayer.h, another file named mplayer.h already exists, both get included at the same time in some files...
author diego
date Sat, 25 Nov 2006 18:37:37 +0000
parents 64d82a45a05d
children 8c2056711a2a
line wrap: on
line diff
--- a/Gui/mplayer/play.c	Sat Nov 25 18:30:44 2006 +0000
+++ b/Gui/mplayer/play.c	Sat Nov 25 18:37:37 2006 +0000
@@ -22,7 +22,7 @@
 #include "interface.h"
 
 #include "widgets.h"
-#include "./mplayer.h"
+#include "gmplayer.h"
 #include "play.h"
 
 #include "skin/skin.h"