diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-08 16:01:22 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-08 16:01:22 +0000 |
| commit | a51bd2c64739eb5f6a49b1dd9329dc1879b3de09 (patch) | |
| tree | 522c0a5994c264d1c4aaf2114d4e65affe77968e /share/man/gnome-shell-extensions-extra.7.rst | |
| parent | Adding manpage. (diff) | |
| download | gnome-shell-extensions-extra-a51bd2c64739eb5f6a49b1dd9329dc1879b3de09.tar.xz gnome-shell-extensions-extra-a51bd2c64739eb5f6a49b1dd9329dc1879b3de09.zip | |
Adding version.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'share/man/gnome-shell-extensions-extra.7.rst')
0 files changed, 0 insertions, 0 deletions