The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav)
It is designed primarily for students, providing an intuitive interface
and the ability to interactively evaluate Java code. It also includes
powerful features for more advanced users. DrJava is available for free
under the DrJava Open Source License, and it is under active development
by the JavaPLT group at Rice University.
WWW: http://www.drjava.org
PR: ports/95712
Submitted by: Nicola Vitale <nivit@email.it>
