diff options
Diffstat (limited to 'x11/gnomepanel/files/patch-gnome-panel_panel-toplevel.c')
-rw-r--r-- | x11/gnomepanel/files/patch-gnome-panel_panel-toplevel.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/x11/gnomepanel/files/patch-gnome-panel_panel-toplevel.c b/x11/gnomepanel/files/patch-gnome-panel_panel-toplevel.c deleted file mode 100644 index 7de65e2ab..000000000 --- a/x11/gnomepanel/files/patch-gnome-panel_panel-toplevel.c +++ /dev/null @@ -1,11 +0,0 @@ ---- gnome-panel/panel-toplevel.c.orig Thu Aug 7 13:11:03 2003 -+++ gnome-panel/panel-toplevel.c Thu Aug 7 13:11:14 2003 -@@ -1234,7 +1234,7 @@ - PanelOrientation orientation; - GdkScreen *screen; - gboolean topmost, bottommost, leftmost, rightmost; -- gboolean geometry_changed = FALSE;; -+ gboolean geometry_changed = FALSE; - int strut, strut_start, strut_end; - int x, y, width, height; - int monitor_x, monitor_y; |