Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20230626.ebuild
Commit message (Expand)AuthorAgeFilesLines
* gnome-extra/gnome-shell-extension-pop-shell: drop 1.2.0_p20220928, 1.2.0_p202...Pacho Ramos2024-12-021-62/+0
* gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20230626Philipp Rösner2023-07-211-0/+62