Pinned Repositories
blueman
Blueman is a GTK+ Bluetooth Manager
dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
gnome-mpv
A simple GTK+ frontend for mpv
ic05_projet
didierga's Repositories
didierga/dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
didierga/gnome-mpv
A simple GTK+ frontend for mpv
didierga/ic05_projet