A Gnome Shell extension that allows you to rename device names in Gnome's Quick Settings Panel
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
