deskutils/gnome-shell-extension-dashtopanel: add new port
This extension moves the dash into the gnome main panel.
https://github.com/home-sweet-gnome/dash-to-panel
PR: 243771
Description
Description
Details
Details
- Provenance
Alexander88207_protonmail.com Authored on Dec 28 2020, 11:13 AM jbeich Committed on May 1 2021, 5:57 AM - Parents
- R11:b123c72083e5: sysutils/zellij: Update to upstream release 0.6.0.
- Branches
- Unknown
- Tags