From 0ea37244476e8d6a11a5e4e19a8c1d9f2947d0ea Mon Sep 17 00:00:00 2001 From: mezz Date: Wed, 30 Apr 2008 03:43:11 +0000 Subject: The gnome-themes-extras no longer has industrial engine since GNOME 2.20 and nobody has steps up to fix it. Therefore, it has been expired and remove it. Reminded by: linimon's script of scheduled for deletion --- CVSROOT/modules | 1 - 1 file changed, 1 deletion(-) (limited to 'CVSROOT/modules') diff --git a/CVSROOT/modules b/CVSROOT/modules index 443959346bfd..59b2a7ebdcfa 100644 --- a/CVSROOT/modules +++ b/CVSROOT/modules @@ -4029,7 +4029,6 @@ gnome-icons-snow-apple ports/x11-themes/gnome-icons-snow-apple gnome-icons-snowish ports/x11-themes/gnome-icons-snowish gnome-icons-stylish ports/x11-themes/gnome-icons-stylish gnome-icons-ximian-south ports/x11-themes/gnome-icons-ximian-south -gnome-industrial-theme ports/x11-themes/gnome-industrial-theme gnome-jabber ports/net-im/gnome-jabber gnome-keyring ports/security/gnome-keyring gnome-launch-box ports/x11/gnome-launch-box -- cgit