mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-03 11:12:13 +00:00
41cd23d591
Minor cleanups: I am unsure if these ports should be deprecated. At least jakarta-oro appears to be used so let them around for now. "makepatch" at jakarta-regexp while here. Approved by: thierry (mentor, implicit)