diff options
| author | Pedro F. Giffuni <pfg@FreeBSD.org> | 2019-10-07 16:45:50 +0000 |
|---|---|---|
| committer | Pedro F. Giffuni <pfg@FreeBSD.org> | 2019-10-07 16:45:50 +0000 |
| commit | 41cd23d591fec8168539389283328e1bf3fa8806 (patch) | |
| tree | c648eb0635d0a5f76c0e90c252a814c3d1fb55ac /java/jakarta-regexp/files | |
| parent | Bump PORTREVISION. Because why not? (diff) | |
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)
Notes
Notes:
svn path=/head/; revision=513970
Diffstat (limited to 'java/jakarta-regexp/files')
| -rw-r--r-- | java/jakarta-regexp/files/patch-build.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/jakarta-regexp/files/patch-build.xml b/java/jakarta-regexp/files/patch-build.xml index 4bf8d84188c4..73d7a3a3222d 100644 --- a/java/jakarta-regexp/files/patch-build.xml +++ b/java/jakarta-regexp/files/patch-build.xml @@ -1,5 +1,5 @@ ---- build.xml.orig 2010-10-27 07:29:35.000000000 -0700 -+++ build.xml 2010-10-27 07:30:39.000000000 -0700 +--- build.xml.orig 2007-03-18 22:41:02 UTC ++++ build.xml @@ -130,7 +130,7 @@ <!-- =================================================================== --> <!-- Package --> |