Giters

novinsh / gs-extensions-drop-down-terminal

Drop Down Terminal extension for the Gnome Shell

Home Page:https://extensions.gnome.org/extension/442/drop-down-terminal/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

novinsh/gs-extensions-drop-down-terminal Issues

No issues in this repository yet.