diff options
| author | Giacomo Leidi <goodoldpaul@autistici.org> | 2019-12-11 22:01:00 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-19 23:48:02 +0100 |
| commit | 8a02ae7fae0d217801c73b76de942da49c562876 (patch) | |
| tree | bd10f33df822b8f22db8f5912dc9ebe76e185e1f /gnu/packages/admin.scm | |
| parent | d8169d05bb9e7d70597a646c95ee4001809070ac (diff) | |
| download | patches-8a02ae7fae0d217801c73b76de942da49c562876.tar patches-8a02ae7fae0d217801c73b76de942da49c562876.tar.gz | |
gnu: Add gnome-shell-extension-dash-to-panel.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/admin.scm')
0 files changed, 0 insertions, 0 deletions