anarchodin / gs-extensions-drop-down-terminalLinks

Drop Down Terminal extension for the Gnome Shell
8Updated 6 years ago

Alternatives and similar repositories for gs-extensions-drop-down-terminal

Users that are interested in gs-extensions-drop-down-terminal are comparing it to the libraries listed below

Sorting: