Skip to content

debian: Install GNOME extensions via gext instead of apt#33

Merged
mapitman merged 1 commit intomainfrom
fix-gnome-extension-idempotency
Mar 22, 2026
Merged

debian: Install GNOME extensions via gext instead of apt#33
mapitman merged 1 commit intomainfrom
fix-gnome-extension-idempotency

Commits

Commits on Mar 22, 2026