# HG changeset patch
# User diego
# Date 1207910066 0
# Node ID a802934aaa843de48fa9e90229735ea2671c8acc
# Parent  13d8209c10ea4cc4c3ae54bdd28c67955650b6a9
Remove duplicate #include.

diff -r 13d8209c10ea -r a802934aaa84 gui/mplayer/gtk/sb.c
--- a/gui/mplayer/gtk/sb.c	Fri Apr 11 09:50:24 2008 +0000
+++ b/gui/mplayer/gtk/sb.c	Fri Apr 11 10:34:26 2008 +0000
@@ -14,7 +14,6 @@
 #include "help_mp.h"
 
 #include "../widgets.h"
-#include "app.h"
 
 GtkWidget * SkinList = NULL;
 char      * sbSelectedSkin=NULL;