Mathieu Arnold 614b5da0cb Ports should not change their names depending on options. ... Reported by: tech-lists zyxst net		2021-05-03 15:00:24 +02:00
..
files
distinfo
Makefile	Ports should not change their names depending on options.	2021-05-03 15:00:24 +02:00
pkg-descr
pkg-plist