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