K 10 svn:author V 6 marcus K 8 svn:date V 27 2003-08-19T16:36:31.000000Z K 7 svn:log V 125 Re-add the gtk-industrial-theme for GTK+-1 only. The GTK+-2 version can still be found in x11-toolkits/gnome-themes-extras. END