Rene Ladan 58ceaf88f9 deskutils/gnome-shell-extra-extensions: revert "remove expired extensions" ... This reverts commit 1a28b64446. Both extensions have PRs to revive them.		2023-06-18 12:16:56 +02:00
..
Makefile	deskutils/gnome-shell-extra-extensions: revert "remove expired extensions"	2023-06-18 12:16:56 +02:00
pkg-descr	…
pkg-message.slaves	…