worldofpeace 43b1e5d998 gnome3.mutter: backport patches from gnome-3-34 branch ... There's probably other fixes people would be interested in like https://gitlab.gnome.org/GNOME/mutter/merge_requests/943. Fixes #74934		2019-12-04 16:51:56 -05:00
..
apps	gnome3.gnome-boxes: 3.34.1 -> 3.34.2 (#74367)	2019-11-28 00:27:32 +01:00
core	gnome3.mutter: backport patches from gnome-3-34 branch	2019-12-04 16:51:56 -05:00
devtools	gjs: move to top-level	2019-11-05 00:47:04 +01:00
extensions	gnomeExtensions.caffeine: unstable-2019-04-02 -> 33	2019-11-30 23:48:23 +01:00
games	gnome3.iagno: 3.34.2 -> 3.34.3 (#74402)	2019-11-28 02:43:41 +01:00
misc	gnome3.gnome-flashback: 3.34.1 -> 3.34.2	2019-11-25 17:22:53 -08:00
default.nix	dconf: move to top-level	2019-12-01 01:01:40 +01:00
find-latest-version.py	gnome3.updateScript: improve pre-release detection	2018-11-30 21:35:29 +01:00
installer.nix	gnome3: only maintain single GNOME 3 package set (#29397)	2017-09-24 12:15:50 +01:00
update.nix	gnome3.updateScript: clean up PATH	2019-06-02 09:44:13 +02:00