bigbn / drop-down-terminal-x Goto Github PK
View Code? Open in Web Editor NEWThis project forked from zzrough/gs-extensions-drop-down-terminal
Drop Down Terminal X extension for the Gnome Shell
Home Page: https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764
License: GNU General Public License v3.0