Merge remote-tracking branch 'github/pr/517'.
[gentoo.git] / gnome-extra / gnome-shell-extensions /
drwxr-xr-x   ..
-rw-r--r-- 792 Manifest
-rw-r--r-- 2070 gnome-shell-extensions-3.16.2.ebuild
-rw-r--r-- 2065 gnome-shell-extensions-3.18.3.ebuild
-rw-r--r-- 158 metadata.xml