Synopsis: updated port: x11-toolkits/gnome-industrial-theme State-Changed-From-To: open->closed State-Changed-By: marcus State-Changed-When: Fri Aug 29 20:41:19 PDT 2003 State-Changed-Why: Dup of ports/56171. http://www.freebsd.org/cgi/query-pr.cgi?pr=56172