Index of /pub/FreeBSD/ports/deskutils/gnome-shell-extension-panel-osd/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
pkg-plist
860 B
2023-Jul-18 11:51
pkg-descr
62 B
2022-Sep-07 21:30
distinfo
313 B
2023-Jul-18 11:51
Makefile
988 B
2023-Jul-18 11:51