1
0
Fork 0
gnome-shell-extensions-extra/share/man
Daniel Baumann 4f2ad4e96b
Merging upstream version 20230205.
Signed-off-by: Daniel Baumann <daniel@debian.org>
2025-02-09 23:09:13 +01:00
..
gnome-shell-extensions-extra.7.rst Merging upstream version 20230205. 2025-02-09 23:09:13 +01:00
Makefile Merging upstream version 20230205. 2025-02-09 23:09:13 +01:00
man.in Merging upstream version 20230205. 2025-02-09 23:09:13 +01:00