mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-27 00:57:50 +00:00
03068b7dd1
older releases (and thus older make(1)) to use this port. Quoting linimon, I sure will be glad when everyone has that newer make(1). PR: ports/72137 Submitted by: Michel Lavondes <fox(at)vader.aacc.cc.md.us> Approved by: fjoe (mentor, implicit) |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-message | ||
pkg-plist |