A menu system for the GNOME project
Go to file
2015-06-18 12:25:30 +02:00
.gitignore Update to 3.13.3 2014-08-10 11:50:02 +02:00
fix-multiple-desktops-in-xdg-current-desktop.patch Fix handling of multiple desktops in XDG_CURRENT_DESKTOP 2015-06-18 12:25:30 +02:00
gnome-menus.spec Fix handling of multiple desktops in XDG_CURRENT_DESKTOP 2015-06-18 12:25:30 +02:00
sources Update to 3.13.3 2014-08-10 11:50:02 +02:00