diff options
Diffstat (limited to 'gnome-base/gnome-menus/files/10-xdg-menu-gnome')
-rw-r--r-- | gnome-base/gnome-menus/files/10-xdg-menu-gnome | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gnome-base/gnome-menus/files/10-xdg-menu-gnome b/gnome-base/gnome-menus/files/10-xdg-menu-gnome deleted file mode 100644 index b12a712e..00000000 --- a/gnome-base/gnome-menus/files/10-xdg-menu-gnome +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -if [ -z "$XDG_MENU_PREFIX" ] && [ "$DESKTOP_SESSION" = "gnome" ] -then - export XDG_MENU_PREFIX=gnome- -fi |