I recently added more words to the bottom of the about page that explains this:
https://extensions.gnome.org/about/ On Mon, Dec 5, 2011 at 8:30 PM, Ronan FORTIN <ronan.for...@gmail.com> wrote: > 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 > gnome-shell-list@gnome.org > http://mail.gnome.org/mailman/listinfo/gnome-shell-list > -- Jasper _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list