zzrough / gs-extensions-drop-down-terminal

Drop Down Terminal extension for the Gnome Shell
416Updated 3 years ago

Related projects

Alternatives and complementary repositories for gs-extensions-drop-down-terminal