Gitstar Ranking

romgrk / dropdownterminal

Drop Down Terminal extension for the Gnome Shell - View it on GitHub
https://extensions.gnome.org/extension/442/drop-down-terminal/
Star
0
Rank
13708167