1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-18 00:10:04 +00:00
freebsd-ports/java/jflex
Edmondas Girkantas 11a679a486 */*: Return to pool as per maintainer's request
Thanks to Edmondas Girkantas for his dedication to ports tree.

PR:		273815
2023-09-16 03:27:19 +09:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist