Pedro F. Giffuni 41cd23d591 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)		2019-10-07 16:45:50 +00:00
..
patch-build.xml