Index of /ports-full/deskutils/gnome-shell-extension-manager/


../
Makefile                                           23-Oct-2026 18:19                1029
distinfo                                           23-Oct-2026 18:19                 206
pkg-descr                                          23-Oct-2026 18:19                 436
pkg-plist                                          23-Oct-2026 18:19                2174