Giters

jakubzet / drop-down-terminal-x

Drop Down Terminal X extension for the Gnome Shell

Home Page:https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

jakubzet/drop-down-terminal-x Issues

No issues in this repository yet.