On Mon, Nov 21, 2011 at 3:56 PM, Faidon Liambotis <[email protected]>wrote:
> What about the gnome-shell-extensions git? > It's a workaround for the lack of an extension website. With the website being merely three days away from being launched, you should ignore the repo. Florian
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
