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