mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-12 03:00:28 +00:00
5807826ac5
PR: ports/89780 Submitted by: maintainer |
||
---|---|---|
.. | ||
patch-camlp4-man::Makefile | ||
patch-camlp4::lib::Makefile | ||
patch-configure | ||
patch-ocamldoc::Makefile | ||
patch-stdlib::Makefile |