mirror of
https://github.com/terrapkg/packages.git
synced 2026-06-18 09:30:38 +00:00
chore(rebuild): terra-gnome-shell-extension-pop-shell (#1168)
Signed-off-by: madomado <madonuko@outlook.com>
This commit is contained in:
+1
-1
@@ -8,7 +8,7 @@
|
||||
|
||||
Name: terra-gnome-shell-extension-%{extension}
|
||||
Version: %{ver}^%{shortcommit}
|
||||
Release: 1%?dist
|
||||
Release: 2%?dist
|
||||
Summary: GNOME Shell extension for advanced tiling window management
|
||||
License: GPL-3.0-only
|
||||
URL: https://github.com/pop-os/shell
|
||||
|
||||
Reference in New Issue
Block a user