This website requires JavaScript.
Explore
Help
Sign in
upstream
/
gnome-shell-extensions-extra
Watch
1
Star
0
Fork
You've already forked gnome-shell-extensions-extra
0
Code
Activity
No description
34
commits
1
branch
8
tags
5.4
MiB
JavaScript
93.3%
CSS
4.5%
Makefile
2.1%
Shell
0.1%
65d924be2c
Find a file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Cite this repository
BibTeX
Cancel
Daniel Baumann
65d924be2c
Adding 45/disable-workspace-switcher version 3+20231017 [e4b8d3e].
...
Signed-off-by: Daniel Baumann <daniel@debian.org>
2025-03-24 19:42:08 +01:00
extensions
Adding 45/disable-workspace-switcher version 3+20231017 [e4b8d3e].
2025-03-24 19:42:08 +01:00
share
Adding todo file.
2025-03-24 19:41:13 +01:00
CHANGELOG.txt
Releasing version 20230618.
2025-03-24 19:41:15 +01:00
LICENSE.txt
Makefile
Moving current extensions to subdirectory for GNOME 44 as GNOME Shell 45 is backwards incompatible (see Debian
#1052112
).
2025-03-24 19:42:06 +01:00
VERSION.txt
Releasing version 20230618.
2025-03-24 19:41:15 +01:00