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
Commit message (Expand)AuthorAgeFilesLines
* gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20231110Pacho Ramos2023-11-122-0/+62
* gnome-extra/gnome-shell-extension-pop-shell: drop oldPhilipp Rösner2023-07-213-126/+0
* gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20230626Philipp Rösner2023-07-212-0/+63
* gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20220928Philipp Rösner2022-10-112-0/+63
* gnome-extra/gnome-shell-extension-pop-shell: drop myself as a maintainerGeorgy Yakovlev2022-09-211-4/+1
* gnome-extra/gnome-shell-extension-pop-shell: [QA] fix duplicate phase (pkg_po...Sam James2022-08-012-4/+4
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* gnome-extra/gnome-shell-extension-pop-shell: fix copyright yearsGeorgy Yakovlev2021-07-282-2/+2
* gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20210727Georgy Yakovlev2021-07-282-0/+63
* gnome-extra/gnome-shell-extension-pop-shell: initial importGeorgy Yakovlev2021-06-033-0/+75