Index of /debian-php/pool/main/g/gnome-shell-extension-pixelsaver/


../
gnome-shell-extension-pixelsaver_1.10+git201808..> 31-Aug-2022 14:16              111876
gnome-shell-extension-pixelsaver_1.20-1~bpo10+1..> 01-Sep-2022 16:53              114752
gnome-shell-extension-pixelsaver_1.24-1_all.deb    01-Sep-2022 16:53              115572