[jhbuild] world: remove pigment

[Alberts Muktupāvels <muktupavels src gnome org>]

commit 17242d3eeb3c1d61e1de62061b4593cbe4148301
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Wed Jan 22 19:26:10 2020 +0200

    world: remove pigment
    
    *** Checking out pigment *** [1/1]
    svn checkout https://code.fluendo.com/pigment/svn/trunk pigment
    svn: E170013: Unable to connect to a repository at URL 'https://code.fluendo.com/pigment/svn/trunk'
    svn: E670002: Name or service not known

 modulesets/gnome-world.modules | 10 ----------
 1 file changed, 10 deletions(-)
---
diff --git a/modulesets/gnome-world.modules b/modulesets/gnome-world.modules
index d0d3dff4..7416b8bb 100644
--- a/modulesets/gnome-world.modules
+++ b/modulesets/gnome-world.modules
@@ -29,8 +29,6 @@
       href="https://git.launchpad.net/"; />
   <repository type="bzr" name="bzr.burtonini.com"
       href="http://burtonini.com/bzr/"/>
-  <repository type="svn" name="pigment.code.fluendo.com"
-      href="https://code.fluendo.com/pigment/svn/"/>
   <repository type="git" name="git.kernel.org"
       href="git://git.kernel.org/pub/scm/"/>
   <repository type="mtn" name="pidgin.im"
@@ -1297,14 +1295,6 @@
     </dependencies>
   </metamodule>
 
-  <autotools id="pigment">
-    <branch repo="pigment.code.fluendo.com" module="trunk" />
-    <dependencies>
-      <dep package="gtk+-2"/>
-      <dep package="pygtk"/>
-    </dependencies>
-  </autotools>
-
   <autotools id="gnome-lirc-properties">
     <branch />
     <dependencies>