-
Committer:
Matthieu Baerts
-
Date:
2013-06-15 13:57:36 UTC
-
Revision ID:
matttbe@gmail.com-20130615135736-6hyr50nk23rzfds0
* debian/patches/107_add_xdg_menu_prefix.patch: (LP: #1191290)
- Set XDG_MENU_PREFIX according to Desktop Menu Specification because
Gnome-menus has added 'gnome-' prefix to the applications.menu file