diff options
Diffstat (limited to 'Gui/mplayer/gtk/opts.h')
| -rw-r--r-- | Gui/mplayer/gtk/opts.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Gui/mplayer/gtk/opts.h b/Gui/mplayer/gtk/opts.h index 13367545c9..ddd5958986 100644 --- a/Gui/mplayer/gtk/opts.h +++ b/Gui/mplayer/gtk/opts.h @@ -6,7 +6,6 @@ extern GtkWidget * OSSConfig; extern GtkWidget * Preferences; -extern int gtkVPreferences; extern GtkWidget * prEFontName; extern GtkWidget * create_Preferences( void ); |