a3linux/gs-extensions-drop-down-terminal
Drop Down Terminal extension for the Gnome Shell
Public GitHub Catalog
Discovered Sep 29, 2026
a3linux / progit
Pro Git Book Content
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#15923327GitHub System ID
a3linuxOrganization / User
PublicVisibility
ActiveCatalog Status
More from a3linux
a3linux/django-extensions
This is a repository for collecting global custom management extensions for the Django Framework.
a3linux/everpad
Evernote client well integrated with linux desktop
a3linux/django-uuidfield
A UUIDField for Django