Jon Banafato d2e518c4c5 gnomeExtensions.icon-hider: init at 19 ... Add the Icon Hider GNOME Shell extension.		2018-02-02 00:16:11 +01:00
..
default.nix	gnomeExtensions.icon-hider: init at 19	2018-02-02 00:16:11 +01:00