diff options
Diffstat (limited to 'gnu/packages/gnome-xyz.scm')
| -rw-r--r-- | gnu/packages/gnome-xyz.scm | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm index 332e00509f..a51670d5c1 100644 --- a/gnu/packages/gnome-xyz.scm +++ b/gnu/packages/gnome-xyz.scm @@ -1221,9 +1221,8 @@ copies you now want to paste.") shell, including panels, corners, workspaces.") (license license:gpl3))) -(define-public gnome-shell-extension-vertical-overview - (deprecated-package "gnome-shell-extension-vertical-overview" - gnome-shell-extension-v-shell)) +(define-deprecated-package gnome-shell-extension-vertical-overview + gnome-shell-extension-v-shell) (define-public gnome-shell-extension-burn-my-windows (package |