crisler/gs-extensions-drop-down-terminal
Drop Down Terminal extension for the Gnome Shell
JavaScriptGPL-3.0
Stargazers
No one’s star this repository yet.
Drop Down Terminal extension for the Gnome Shell
JavaScriptGPL-3.0
No one’s star this repository yet.