Jan Tojnar 66c36aea1b gnome3.gnome-shell: 3.28.3 → 3.30.2		2018-11-30 21:34:23 +01:00
..
default.nix	gnome3.gnome-shell: 3.28.3 → 3.30.2	2018-11-30 21:34:23 +01:00
fix-paths.patch