Tor Hedin Brønner 7f3e2f62c1 gnome3.gnome-tweaks: make tweaks aware of gnome-shell-extensions ... This makes it possible to use the `user-theme` extension.		2018-04-03 16:12:18 +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	gnome3.rarian: fix build	2018-03-05 06:06:09 +01:00
devtools	gnome3.devhelp: fix build	2018-03-22 07:46:55 +01:00
extensions	Merge pull request #36411 from tiramiseb/gnome-shell-extension-impatience	2018-03-28 10:00:32 +00: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	gnome3.updateScript: ignore prerelease versions	2018-03-04 20:05:53 +01:00
installer.nix	gnome3: only maintain single GNOME 3 package set (#29397)	2017-09-24 12:15:50 +01:00
update.nix	gnome3: add updateScript	2018-03-01 02:53:00 +01:00