Jan Tojnar 86f2d455cb gnomeExtensions.sound-output-device-chooser: 28 → 32 ... https://github.com/kgshank/gse-sound-output-device-chooser/compare/28...32		2020-11-17 20:08:00 +01:00
..
default.nix	gnomeExtensions.sound-output-device-chooser: 28 → 32	2020-11-17 20:08:00 +01:00
fix-paths.patch	gnomeExtensions.sound-output-device-chooser: 28 → 32	2020-11-17 20:08:00 +01:00