Luca Bruno 1b6401fd2e More usage of gnome3.defaultIconTheme		2015-05-19 14:40:04 +02:00
..
autofoo.patch
boost.patch
default.nix	More usage of gnome3.defaultIconTheme	2015-05-19 14:40:04 +02:00