gs-extensions-drop-down-terminal
★ 0
updated 11y ago
⑂ fork
▣ archived
Drop Down Terminal extension for the Gnome Shell
No plain-English explanation yet — one is being written right now. Check back in a minute.