a22453092df8
1 2 3
A command line tool for switching GTK+ themes. WWW: http://www.muhri.net/gthemeswitch.php3