This website requires JavaScript.
Explore
Help
Register
Sign In
brl
/
gnome-shell
Watch
1
Star
0
Fork
0
You've already forked gnome-shell
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
d08497414f
gnome-shell
/
tools
/
build
History
Carlos Soriano
625f3a5113
tools/build: Update to 3.14
2014-05-25 23:22:18 +02:00
..
gnome-shell-build-setup.sh
gnome-shell-build-setup.sh: work around removal of gpk-install-package-name
2014-05-17 15:10:04 -04:00
jhbuildrc-custom-example
Add commented out workaround for
#571240
2009-03-14 18:22:39 -04:00
jhbuildrc-gnome-shell
tools/build: Update to 3.14
2014-05-25 23:22:18 +02:00