gnome-shell-extension-prefs 42~beta-1ubuntu2 (arm64 binary) in ubuntu jammy
This package contains a tool which users who use Shell extensions can use to
toggle them on and off, and access their preferences.
Details
- Package version:
- 42~beta-1ubuntu2
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
arm64 build of gnome-shell 42~beta-1ubuntu2 in ubuntu jammy PROPOSED produced
these files:
Package relationships
- Provides:
- gnome-extensions-app
- Replaces:
- Recommends:
- Breaks: