gnome-shell/tools
Owen W. Taylor f80eb89d57 jhbuildrc-gnome-shell: switch to the GNOME 3.8 moduleset
Now that GNOME 3.6 is out, the default development platform
should be the 3.8 moduleset.
2012-10-05 13:59:57 -04:00
..
build jhbuildrc-gnome-shell: switch to the GNOME 3.8 moduleset 2012-10-05 13:59:57 -04:00
check-for-missing.py tools: Fix typo in check-for-missing.py 2011-03-07 15:48:11 +00:00