Jan Tojnar fead86590d gnome3.gnome-system-monitor: fix build		2018-03-22 07:46:48 +01:00
..
apps	gnome3.gnome-characters: fix build	2018-03-22 07:46:48 +01:00
core	gnome3.gnome-system-monitor: fix build	2018-03-22 07:46:48 +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: automated update	2018-03-22 07:46:42 +01:00
default.nix	gnome3: switch to Vala 0.40	2018-03-22 07:46:47 +01:00
find-latest-version.py	gnome3.updateScript: ignore prerelease versions	2018-03-04 20:05:53 +01:00
installer.nix
update.nix	gnome3: add updateScript	2018-03-01 02:53:00 +01:00