worldofpeace d935c9bc59 gnomeExtensions.mediaplayer: remove ... Source repo is archived and the extension was retired [0] [0]: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md		2019-10-03 00:09:14 +02:00
..
apps	gnome3.gnome-sound-recorder: 3.32.1 -> 3.34.0	2019-09-30 19:39:51 +02:00
core	epiphany: 3.32.4 -> 3.34.0	2019-10-03 00:09:13 +02:00
devtools	gnome3.devhelp: 3.32.0 → 3.34.0	2019-09-30 19:39:40 +02:00
extensions	gnomeExtensions.mediaplayer: remove	2019-10-03 00:09:14 +02:00
games	gnome3.swell-foop: 3.32.0 → 3.34.0	2019-09-30 19:39:46 +02:00
misc	gnome3.gnome-autoar: cleanup	2019-09-30 19:39:49 +02:00
default.nix	gnome3.gnome-initial-setup: init at 3.34.0	2019-10-03 00:09:11 +02:00
find-latest-version.py	gnome3.updateScript: improve pre-release detection	2018-11-30 21:35:29 +01:00
installer.nix
update.nix	gnome3.updateScript: clean up PATH	2019-06-02 09:44:13 +02:00