Synopsis: [patch] x11-toolkits/gnome-industrial-theme update State-Changed-From-To: open->closed State-Changed-By: marcus State-Changed-When: Tue Aug 3 00:22:50 GMT 2004 State-Changed-Why: Committed, thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=69929