gnome/gnome-shell-extensions-extra
1
0
Fork 0
Code Issues Activity
No description https://tracker.debian.org/gnome-shell-extensions-extra
21 commits 2 branches 18 tags 5.1 MiB
JavaScript 96.5%
Makefile 2.3%
CSS 1.1%
Find a file
Daniel Baumann f13dbb145e
Refreshing no-overview_metadata.patch for gnome-shell 44. 
Signed-off-by: Daniel Baumann <daniel@debian.org>
2025-02-09 23:13:53 +01:00
debian Refreshing no-overview_metadata.patch for gnome-shell 44. 2025-02-09 23:13:53 +01:00
extensions Merging upstream version 20230618. 2025-02-09 23:13:53 +01:00
share Merging upstream version 20230618. 2025-02-09 23:13:53 +01:00
CHANGELOG.txt Merging upstream version 20230618. 2025-02-09 23:13:53 +01:00
LICENSE.txt
Makefile Merging upstream version 20230618. 2025-02-09 23:13:53 +01:00
VERSION.txt Merging upstream version 20230618. 2025-02-09 23:13:53 +01:00