diff options
| author |   Sam James <sam@gentoo.org> | 2021-10-02 06:31:10 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-10-02 06:31:10 +0100 |
| commit | e021f67cfe94e29c3b19b885b64ccda49b4409c9 (patch) | |
| tree | 3d9cd5acedef116429189f62e5a537392b6b77b8 /gnome-extra/gnome-shell-extension-pop-shell | |
| parent | dev-ml/ppxlib: add note re version bumps (diff) | |
| download | gentoo-e021f67cfe94e29c3b19b885b64ccda49b4409c9.tar.gz gentoo-e021f67cfe94e29c3b19b885b64ccda49b4409c9.tar.bz2 gentoo-e021f67cfe94e29c3b19b885b64ccda49b4409c9.zip | |
dev-ml/ppxlib: add 0.23.0
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'gnome-extra/gnome-shell-extension-pop-shell')
0 files changed, 0 insertions, 0 deletions