Jan Tojnar e3e86ebe80 gnome-themes-extra: 3.27.90 → 3.27.92		2018-03-22 07:46:49 +01:00
..
apps	gnome3.gnome-characters: fix build	2018-03-22 07:46:48 +01:00
core	gnome-themes-extra: 3.27.90 → 3.27.92	2018-03-22 07:46:49 +01:00
desktop/rarian	gnome3.rarian: fix build	2018-03-05 06:06:09 +01:00
devtools	gnome3: automated update	2018-03-22 07:46:42 +01:00
extensions	gnomeExtensions.timepp: init at 2018.03.17	2018-03-18 11:28:48 +02:00
games	gnome3.gnome-mines: fix build	2018-03-22 07:46:46 +01:00
misc	gnome3.gspell: fix build	2018-03-22 07:46:49 +01:00
default.nix	gnome-themes-extra: rename from gnome-themes-standard	2018-03-22 07:46:49 +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