diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:38:09 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:38:09 +0000 |
| commit | 7f9c96a5a1e619c03bf81c8b3783703b780edaf4 (patch) | |
| tree | ba7cd337e9890761eb7b30f97e19a37db15de4c4 /share/man/gnome-shell-extensions-extra.7.rst | |
| parent | Adding upstream version 20230205. (diff) | |
| download | gnome-shell-extensions-extra-7f9c96a5a1e619c03bf81c8b3783703b780edaf4.tar.xz gnome-shell-extensions-extra-7f9c96a5a1e619c03bf81c8b3783703b780edaf4.zip | |
Adding upstream version 20230618.upstream/20230618
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