Index of /pub/FreeBSD/ports/deskutils/gnome-shell-extension-filesmenu/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
pkg-descr
65 B
2022-Sep-07 21:30
distinfo
236 B
2018-Sep-30 15:53
pkg-plist
754 B
2018-Sep-30 15:53
Makefile
1.1 KiB
2023-Apr-25 15:15