Juan RP
|
acde39ede2
|
New package: gnome-shell-extensions-3.8.1.
|
2013-04-18 00:21:04 +02:00 |
|
Juan RP
|
b1a9384520
|
gnome-shell-extensions: remove; obsolete in 3.4.
|
2012-05-31 14:51:55 +02:00 |
|
Juan RP
|
1816de0e4a
|
Update all packages for xbps-src>=28. WARNING: xbps-src-28 (or from git) required!
|
2012-05-23 18:26:56 +02:00 |
|
Juan RP
|
23dd7d008e
|
Update build_style for all templates.
- There's no need to set build_style for custom-install (default).
- gnu_{configure,makefile} renamed to gnu-{configure,makefile}.
|
2011-10-24 14:14:47 +02:00 |
|
Juan RP
|
9bf74ecacc
|
gnome-shell-extensions: update to 3.2.0.
|
2011-10-05 22:20:15 +02:00 |
|
Juan RP
|
07673cf4d0
|
gnome-shell-extensions: needs gnome-desktop-devel to build.
|
2011-07-05 13:20:27 +02:00 |
|
Juan RP
|
96257e13c4
|
Added gnome-shell-extensions-3.0.2 build template.
|
2011-05-26 09:21:18 +02:00 |