diff options
Diffstat (limited to 'x11-wm/fluxbox/files/1.0.0/gentoo_style_location.patch')
| -rw-r--r-- | x11-wm/fluxbox/files/1.0.0/gentoo_style_location.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/x11-wm/fluxbox/files/1.0.0/gentoo_style_location.patch b/x11-wm/fluxbox/files/1.0.0/gentoo_style_location.patch deleted file mode 100644 index cc814e4a9cba..000000000000 --- a/x11-wm/fluxbox/files/1.0.0/gentoo_style_location.patch +++ /dev/null @@ -1,17 +0,0 @@ ---- util/fluxbox-generate_menu.in.orig 2007-07-13 13:47:11.000000000 -0600 -+++ util/fluxbox-generate_menu.in 2007-07-13 13:51:03.000000000 -0600 -@@ -1803,12 +1803,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] (~/.@pkgprefix@fluxbox@pkgsuffix@/styles)" -+ append_submenu "Styles" -+ append "[include] (@GENTOO_PORTAGE_EPREFIX@/usr/share/fluxbox/menu.d/styles/)" - append_menu_end - - # Backgroundmenu |