[jhbuild] [3.0] Remove gnome-themes-extras (GNOME bug 638212)

[Craig Keogh <cskeogh src gnome org>]

commit a38f18be976efa1fd99429675dc9a388ec8cc124
Author: Craig Keogh <cskeogh adam com au>
Date:   Wed Dec 29 11:53:02 2010 +1030

    [3.0] Remove gnome-themes-extras (GNOME bug 638212)
    
    gnome-themes-extras requires gtk-engines (gtk+ 2.0) so won't work with
    GNOME 3.0. And gnome-themes-extras last release was for GNOME 2.22 and
    no code commits since 2008-04-17

 modulesets/gnome-world-3.0.modules |    7 -------
 1 files changed, 0 insertions(+), 7 deletions(-)
---
diff --git a/modulesets/gnome-world-3.0.modules b/modulesets/gnome-world-3.0.modules
index 0bb414b..2d86e28 100644
--- a/modulesets/gnome-world-3.0.modules
+++ b/modulesets/gnome-world-3.0.modules
@@ -651,13 +651,6 @@
     </dependencies>
   </autotools>
 
-  <autotools id="gnome-themes-extras">
-    <branch/>
-    <dependencies>
-      <dep package="gnome-themes"/>
-    </dependencies>
-  </autotools>
-
   <autotools id="libgda-3-0">
     <branch module="libgda" revision="release-3-0-branch"
             checkoutdir="libgda-3-0"/>