# HG changeset patch
# User diego
# Date 1177849773 0
# Node ID 52a2e17e7001dc56081a1870488d8a6b3030fbea
# Parent  d2fa2322ce83925f1bfc9b820f1b63b6937ffcfe
Remove duplicate #include.

diff -r d2fa2322ce83 -r 52a2e17e7001 gui/mplayer/gtk/menu.c
--- a/gui/mplayer/gtk/menu.c	Sun Apr 29 10:18:39 2007 +0000
+++ b/gui/mplayer/gtk/menu.c	Sun Apr 29 12:29:33 2007 +0000
@@ -8,8 +8,6 @@
 #include "access_mpcontext.h"
 #include "mixer.h"
 
-#include "app.h"
-
 #include "menu.h"
 #include "../widgets.h"
 #include "app.h"