Jan Tojnar e362dd6d4c gnomeExtensions.dash-to-dock: 62 → 63		2018-04-03 18:13:25 +02:00
..
apps	gnome3.gnome-music: fix ugly codecs	2018-03-29 11:09:38 +02:00
core	gnome3.gnome-shell-extensions: let apps-menu know about gnome-menus	2018-04-03 16:10:23 +02:00
desktop/rarian
devtools	gnome3.devhelp: fix build	2018-03-22 07:46:55 +01:00
extensions	gnomeExtensions.dash-to-dock: 62 → 63	2018-04-03 18:13:25 +02:00
games	gnome3.lightsoff: clean up	2018-03-22 07:46:51 +01:00
misc	gnome3.gnome-tweaks: make tweaks aware of gnome-shell-extensions	2018-04-03 16:12:18 +02:00
default.nix	networkmanager-pptp: remove package	2018-03-23 22:24:50 +01:00
find-latest-version.py
installer.nix
update.nix