diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-08 16:01:21 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-08 16:01:21 +0000 |
| commit | e2bb8dddd3578307ba3d3d7fac4e1015c840b699 (patch) | |
| tree | 0f1441289d9a0bf7678bc006b1f7fc61fbf61383 /share/man/gnome-shell-extensions-extra.7.rst | |
| parent | Adding license. (diff) | |
| download | gnome-shell-extensions-extra-e2bb8dddd3578307ba3d3d7fac4e1015c840b699.tar.xz gnome-shell-extensions-extra-e2bb8dddd3578307ba3d3d7fac4e1015c840b699.zip | |
Adding makefile.
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