Tue Nov 5 15:48:33 2002 Jonathan Blandford <jrb@gnome.org> * gnome-theme-info.c: Change the file format a bunch. Tue Nov 5 15:48:20 2002 Jonathan Blandford <jrb@gnome.org> * gnome-theme-manager.c (read_themes): make more robust.