GitHub repository: sustmi/gnome-shell-extensions-sustmi
Primary language: JavaScript
Description: [DEPRECATED] The repository was split into two repositories: https://github.com/sustmi/gnome-shell-extension-historymanager-prefix-search and https://github.com/sustmi/gnome-shell-extension-windowoverlay-icons