Raco's repositories
Gnome-Global-AppMenu
A Gnome Shell extension to provide a global application menu.
gnome-shell-extension-clipboard-indicator
Clipboard Manager extension for Gnome-Shell - Adds a clipboard indicator to the top panel, and saves clipboard history.