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