diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-24 09:01:55 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-24 09:03:17 +0000 |
| commit | ce317e7220cd72947f90f6bb1b8e79b8f6986b22 (patch) | |
| tree | 32c57985f7d7707bbb2b9e02d5302bf6e5014f04 /extensions/no-overview/extension.js | |
| parent | Releasing debian version 20230618-1. (diff) | |
| download | gnome-shell-extensions-extra-ce317e7220cd72947f90f6bb1b8e79b8f6986b22.tar.xz gnome-shell-extensions-extra-ce317e7220cd72947f90f6bb1b8e79b8f6986b22.zip | |
Adding individual versions to provides.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'extensions/no-overview/extension.js')
0 files changed, 0 insertions, 0 deletions