gnome-shell-extension-shortcuts

	Name	Size	Modified
	..	—	—
	gnome-shell-extension-shortcuts_1.1.1-1.debian.tar.xz	2 KB	Mon May 10 15:27:09 2021
	gnome-shell-extension-shortcuts_1.1.1-1.dsc	1 KB	Mon May 10 15:27:09 2021
	gnome-shell-extension-shortcuts_1.1.1-1_all.deb	9 KB	Mon May 10 15:27:09 2021
	gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz	19 KB	Mon May 10 15:27:09 2021