File gnome-shell-favorites-menu-at-end.patch of Package gnome-shell-extensions (Revision ac138e37439ed848cab64cf84a262d62)
Currently displaying revision ac138e37439ed848cab64cf84a262d62 , Show latest
Currently displaying revision ac138e37439ed848cab64cf84a262d62 , Show latest