gnome-shell-extension-dash-to-dock: gnome-shell-extension-dash-to-dock (Dash to Dock extension for GNOME)
gnome-shell-extension-dash-to-dock:
gnome-shell-extension-dash-to-dock: Move the dash out of the overview transforming it in a dock 
gnome-shell-extension-dash-to-dock: 
gnome-shell-extension-dash-to-dock: 
gnome-shell-extension-dash-to-dock: 
gnome-shell-extension-dash-to-dock: 
gnome-shell-extension-dash-to-dock: https://micheleg.github.io/dash-to-dock
gnome-shell-extension-dash-to-dock: 
gnome-shell-extension-dash-to-dock: 
gnome-shell-extension-dash-to-dock: