K 10 svn:author V 6 marcus K 8 svn:date V 27 2004-01-17T07:00:22.000000Z K 7 svn:log V 154 Add splashsetter, a tool to change your GNOME splash screen with a GUI, or do it randomly. PR: 61446 Submitted by: Franz Klammer END