gnu: Add gnome-shell-extensions.
authorDavid Thompson <dthompson2@worcester.edu>
Sun, 12 Jun 2016 01:21:02 +0000 (21:21 -0400)
committerDavid Thompson <dthompson2@worcester.edu>
Mon, 13 Jun 2016 23:22:54 +0000 (19:22 -0400)
commit32ac717c5f38192b8bf832e2aba4e83e38a201c3
treef75ab811f33160002f46a32c712f65ad9bc3e973
parente4a44a6aa5b6dcda39ab8c347d1dc68a4cc7e4f9
gnu: Add gnome-shell-extensions.

* gnu/packages/gnome.scm (gnome-shell-extensions): New variable.
gnu/packages/gnome.scm