gnome-shell-extension-autohidetopbar
Name
Size
Modified
..
—
—
gnome-shell-extension-autohidetopbar_120-1.debian.tar.xz
5 KB
Mon Sep 22 18:01:05 2025
gnome-shell-extension-autohidetopbar_120-1.dsc
1 KB
Mon Sep 22 18:01:05 2025
gnome-shell-extension-autohidetopbar_120-1_all.deb
22 KB
Mon Sep 22 18:01:05 2025
gnome-shell-extension-autohidetopbar_120.orig.tar.bz2
4 MB
Mon Sep 22 18:01:05 2025