Re: bye-bye java/java-getopt

2019-05-10 Thread Jeremie Courreges-Anglas
On Fri, May 10 2019, Ian Darwin wrote: > Another library that nobody will use in this location. > > Removes from makefile, updates quirks, and removes the port. > > OK? LGTM, no other port depends on this. 8) No idea whether reason #1 is the most appropriate, I'll trust you on that. ok jca@ --

bye-bye java/java-getopt

2019-05-10 Thread Ian Darwin
Another library that nobody will use in this location. Removes from makefile, updates quirks, and removes the port. OK? Index: java/Makefile === RCS file: /cvs/ports/java/Makefile,v retrieving revision 1.13 diff -u -p -r1.13 Makefil