Jerry/gnome-shell-extension-hide-overview
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
2 commits 1 branch 0 tags 23 KiB
JavaScript 100%
Find a file
Jerry ad7e099121
gnome 47
2024-09-20 21:26:49 +08:00
extension.js init 2024-04-10 10:04:57 +08:00
metadata.json gnome 47 2024-09-20 21:26:49 +08:00