moritzruth/void-packages
1
0
Fork 0
Code Releases Activity Actions 2

gnome-shell-extensions: update to 3.2.0.

Browse source
This commit is contained in:
Juan RP 2011-10-05 22:20:15 +02:00
parent efb60bc693
commit 9bf74ecacc
15 changed files with 115 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

13
srcpkgs/gnome-shell-extensions/gnome-shell-extensions-places-menu.template Normal file
View file

@ -0,0 +1,13 @@
# Template file for 'gnome-shell-extensions-places-menu'.
#
short_desc="Places menu extension for GNOME Shell"
Add_dependency run gnome-shell-extensions
noarch=yes
do_install()
{
cd ${wrksrc}/extensions/places-menu
make DESTDIR=${DESTDIR} install
}