gnome-extra/gnome-shell-extensions: Drop old
authorPacho Ramos <pacho@gentoo.org>
Sun, 10 Jan 2016 18:08:13 +0000 (19:08 +0100)
committerPacho Ramos <pacho@gentoo.org>
Sun, 10 Jan 2016 18:08:13 +0000 (19:08 +0100)
commit73a3251a56739878beb43510f2b26e360ea244cc
tree8de247667e12507ad69d4a045aa8cfcd0d28b07b
parent007f2a5ab8e0514af204881e94040704433b55cd
gnome-extra/gnome-shell-extensions: Drop old

Package-Manager: portage-2.2.26
gnome-extra/gnome-shell-extensions/Manifest
gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.18.2-apps-menu.patch [deleted file]
gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.18.2-apps-menu2.patch [deleted file]
gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.18.2-revert-encodings.patch [deleted file]
gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.18.2-r1.ebuild [deleted file]
gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.18.2-r2.ebuild [deleted file]
gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.18.2.ebuild [deleted file]