Old jakarta ports: add license.
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)
Old jakarta ports: add license. Tags None Referenced Files None Subscribers None
Description
Details
|