Jon Banafato 14b3b04c22 gnomeExtensions.remove-dropdown-arrows: init at 9 ... Add the Remove Dropdown Arrows GNOME Shell extension.		2018-02-14 02:36:07 +01:00
..
default.nix	gnomeExtensions.remove-dropdown-arrows: init at 9	2018-02-14 02:36:07 +01:00