Luca Bruno 1c1747be0d Add gnome shell extensions plugin for browsers		2014-07-05 21:16:31 +02:00
..
default.nix	Add gnome shell extensions plugin for browsers	2014-07-05 21:16:31 +02:00