Hi all, When I install extension from https://extensions.gnome.org, how extension is update? with a repository?
Thanks, Ronan
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
