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