On Wed, Jan 12, 2011 at 12:16 PM, Giovanni Campagna <[email protected]> wrote: > > The repository is set up now, at > git://git.gnome.org/gnome-shell-extensions > I will soon add proper extensions, as I collect them from the mailing > list archives.
I just want to say that this is a nice step forward, thanks for taking the initiative! _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
