diff options
Diffstat (limited to 'x11-wm/fluxbox/files/1.0_rc1/fluxbox-1.0_rc1-our-styles-go-over-here.patch')
| -rw-r--r-- | x11-wm/fluxbox/files/1.0_rc1/fluxbox-1.0_rc1-our-styles-go-over-here.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/x11-wm/fluxbox/files/1.0_rc1/fluxbox-1.0_rc1-our-styles-go-over-here.patch b/x11-wm/fluxbox/files/1.0_rc1/fluxbox-1.0_rc1-our-styles-go-over-here.patch deleted file mode 100644 index 40f5cd50c5c4..000000000000 --- a/x11-wm/fluxbox/files/1.0_rc1/fluxbox-1.0_rc1-our-styles-go-over-here.patch +++ /dev/null @@ -1,17 +0,0 @@ ---- util/fluxbox-generate_menu.in 2006-06-10 19:04:11.000000000 +0200 -+++ util/fluxbox-generate_menu.in.new 2006-06-14 14:39:04.000000000 +0200 -@@ -1735,12 +1735,8 @@ - append_submenu "${FBSETTINGSMENU}" - append "[config] (${CONFIGUREMENU})" - -- append_menu "[submenu] (${SYSTEMSTYLES}) {${STYLEMENUTITLE}}" -- append "[stylesdir] (${PREFIX}/share/fluxbox/styles)" -- append_menu_end -- -- append_menu "[submenu] (${USERSTYLES}) {${STYLEMENUTITLE}}" -- append "[stylesdir] (~/.fluxbox/styles)" -+ append_submenu "Styles" -+ append "[include] (/usr/share/fluxbox/menu.d/styles/)" - append_menu_end - - # Backgroundmenu |