Skip to content
Commit a7c419f2 authored by Alexander Vereeken's avatar Alexander Vereeken Committed by Jan Beich
Browse files

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
parent b123c720
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment