worldofpeace 5883c59f76 Merge pull request #70880 from jtojnar/no-no-hot-corners ... gnomeExtensions.nohotcorner: drop		2019-10-09 20:40:03 +00:00
..
apps	gnome3.gnome-maps: 3.34.0 → 3.34.1	2019-10-08 12:08:52 +02:00
core	gnome3.gnome-shell: 3.34.0 -> 3.34.1	2019-10-09 04:56:48 +02:00
devtools	gnome3.devhelp: 3.32.0 → 3.34.0	2019-09-30 19:39:40 +02:00
extensions	Merge pull request #70880 from jtojnar/no-no-hot-corners	2019-10-09 20:40:03 +00:00
games	gnome3.gnome-nibbles: 3.34.0 → 3.34.1	2019-10-08 12:08:52 +02:00
misc	gnome3.metacity: 3.34.0 → 3.34.1	2019-10-08 12:08:52 +02:00
default.nix	vte-ng: move inside termite	2019-10-03 00:09:18 +02: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