[jhbuild] world-3.0: Added gnome-shell-extensions world-3.2: Added gnome-shell-extensions

[Christian Kirbach <ckirbach src gnome org>]

commit b7a0754f7508ba173153e3f0dcf53a0ae90a660c
Author: Christian Kirbach <Christian Kirbach googlemail com>
Date:   Sun Sep 18 21:59:07 2011 +0200

    world-3.0: Added gnome-shell-extensions
    world-3.2: Added gnome-shell-extensions

 modulesets/gnome-world-3.0.modules |    7 +++++++
 modulesets/gnome-world-3.2.modules |    7 +++++++
 2 files changed, 14 insertions(+), 0 deletions(-)
---
diff --git a/modulesets/gnome-world-3.0.modules b/modulesets/gnome-world-3.0.modules
index bcd7c08..21253b8 100644
--- a/modulesets/gnome-world-3.0.modules
+++ b/modulesets/gnome-world-3.0.modules
@@ -2106,4 +2106,11 @@
    </dependencies>
   </autotools>
 
+  <autotools id="gnome-shell-extensions">
+    <branch revision="gnome-3-0"/>
+    <dependencies>
+      <dep package="gnome-shell"/>
+    </dependencies>
+  </autotools>
+
 </moduleset>
diff --git a/modulesets/gnome-world-3.2.modules b/modulesets/gnome-world-3.2.modules
index 2f44dbf..4ef2305 100644
--- a/modulesets/gnome-world-3.2.modules
+++ b/modulesets/gnome-world-3.2.modules
@@ -2104,4 +2104,11 @@
     </dependencies>
   </autotools>
 
+  <autotools id="gnome-shell-extensions">
+    <branch/>
+    <dependencies>
+      <dep package="gnome-shell"/>
+    </dependencies>
+  </autotools>
+
 </moduleset>