diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-02-05 08:03:40 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-02-05 09:10:01 +0000 |
| commit | 5f7d14014e66c9d6169243ae3816d87d999f12aa (patch) | |
| tree | 0a52479d49d406a2a89a2093ba70e5366d0d56a7 | |
| parent | Updating rules for new upstream version. (diff) | |
| download | gnome-shell-extensions-extra-5f7d14014e66c9d6169243ae3816d87d999f12aa.tar.xz gnome-shell-extensions-extra-5f7d14014e66c9d6169243ae3816d87d999f12aa.zip | |
Adding watch file.
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 |