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