diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-08 16:01:23 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-08 16:01:23 +0000 |
| commit | 55a0fefa69abfaf39d6de517ab074102b298383b (patch) | |
| tree | 92b2fbc008d714e9a5680f90ed0b0499759b2034 /share/man/gnome-shell-extensions-extra.7.rst | |
| parent | Adding no-overview version 12 [665d0e1]. (diff) | |
| download | gnome-shell-extensions-extra-55a0fefa69abfaf39d6de517ab074102b298383b.tar.xz gnome-shell-extensions-extra-55a0fefa69abfaf39d6de517ab074102b298383b.zip | |
Adding no-overview 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