Luca Bruno 9adde87fea More usage of gnome3.defaultIconTheme		2015-05-19 14:44:27 +02:00
..
analyzer.nix	More usage of gnome3.defaultIconTheme	2015-05-19 14:44:27 +02:00
base.nix
client.nix
daemon.nix
gui.nix	More usage of gnome3.defaultIconTheme	2015-05-19 14:44:27 +02:00
libmirage.nix
vhba.nix