Diffusion FreeBSD ports repository 1a28b6444611

deskutils/gnome-shell-extra-extensions: remove expired extensions
1a28b6444611
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

deskutils/gnome-shell-extra-extensions: remove expired extensions

Details

Provenance

rene	Authored on Jun 18 2023, 10:11 AM

Parents

R11:7cb7d2d50a12: math/freefem++: Update 4.12 → 4.13

Branches

Unknown

Tags

Unknown

Reverted By

R11:58ceaf88f95a: deskutils/gnome-shell-extra-extensions: revert "remove expired extensions"

Event Timeline

rene committed R11:1a28b6444611: deskutils/gnome-shell-extra-extensions: remove expired extensions (authored by rene).Jun 18 2023, 10:11 AM

rene added a reverting change: R11:58ceaf88f95a: deskutils/gnome-shell-extra-extensions: revert "remove expired extensions".Jun 18 2023, 10:17 AM

Changes (1)

Path

Size

deskutils/

gnome-shell-extra-extensions/

R11:1a28b6444611

deskutils/gnome-shell-extra-extensions/Makefile

Loading...