Index of /pub/linux/debian/pool/main/g/gnome-shell-extension-remove-dropdown-arrows/

Filename	Modification time	Size
gnome-shell-extension-remove-dropdown-arrows_13-1.debian.tar.xz	2019-09-20 12:29 CEST	2216 B
gnome-shell-extension-remove-dropdown-arrows_13-1.dsc	2019-09-20 12:29 CEST	2374 B
gnome-shell-extension-remove-dropdown-arrows_13-1_all.deb	2019-09-20 12:50 CEST	4020 B
gnome-shell-extension-remove-dropdown-arrows_13.orig.tar.gz	2019-09-20 12:29 CEST	36 KiB