On Sat, Jun 11, 2016 at 09:29:54PM -0400, David Thompson wrote: > * gnu/packages/gnome.scm (gnome-shell-extensions): New variable.
Cool. Should it be part of the GNOME meta-package?
- [PATCH] gnu: Add gnome-shell-extensions. David Thompson
- Re: [PATCH] gnu: Add gnome-shell-extensions. Leo Famulari
- Re: [PATCH] gnu: Add gnome-shell-extensions. Ludovic Courtès
- Re: [PATCH] gnu: Add gnome-shell-extensions. Thompson, David
- Re: [PATCH] gnu: Add gnome-shell-extensi... Leo Famulari
