Re: Workspace-Indicator extension

[Vincent Untz <vuntz gnome org>]

Le mardi 10 mai 2011, à 10:44 -0400, Erick Pérez a écrit :
> > Did you possibly intend to attach something to your mail?
> > Marcel
> 
> Yeah the uri, I forgot:
> 
> Here it is: https://github.com/erick2red/shell-extensions

It might make sense to submit it for integration with the
gnome-shell-extensions repository:
  http://git.gnome.org/browse/gnome-shell-extensions/

(file a bug against gnome-shell / extensions)

Cheers,

Vincent

-- 
Les gens heureux ne sont pas pressés.