worldofpeace cf9dca2396 gnome3.mutter328: add API for reorder workspaces ... backport for a feature added in gala		2019-07-22 04:29:57 -04:00
..
3.28.nix	gnome3.mutter328: add API for reorder workspaces	2019-07-22 04:29:57 -04:00
default.nix	gnome3.mutter: multi-outputs	2019-07-04 08:36:19 -04:00
fix-paths-328.patch
fix-paths.patch	gnome3.mutter: hardcode path to zenity	2019-04-05 12:14:09 +02:00