diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 09:16:20 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 09:16:20 +0000 |
| commit | 76479efc9333353a34df1456748c42f237c28efc (patch) | |
| tree | 523e902b85a1b6f69170c28a39ef7eb50923524a /debian/watch | |
| parent | Adding upstream version 20231210. (diff) | |
| download | gnome-shell-extensions-extra-76479efc9333353a34df1456748c42f237c28efc.tar.xz gnome-shell-extensions-extra-76479efc9333353a34df1456748c42f237c28efc.zip | |
Adding debian version 20231210-1.debian/20231210-1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
| -rw-r--r-- | debian/watch | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/watch b/debian/watch new file mode 100644 index 0000000..248f280 --- /dev/null +++ b/debian/watch @@ -0,0 +1,3 @@ +version=4 +opts="pgpmode=auto" \ +https://get.progress-linux.org/packages/gnome-shell-extensions-extra/upstream/gnome-shell-extensions-extra-(.+)\.tar\.lz |