Take a gander here: http://people.freedesktop.org/~jimmac/icons/#git
Of course, icons are user replaceable. If you don't like the default theme you can always use a different one. Btw, the main page for this kind of thing is: http://art.gnome.org/
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
