mirror of
https://git.freebsd.org/ports.git
synced 2025-05-05 16:07:38 -04:00
DrJava development environment. The plug-in provides an Interactions Pane and a simplified user interface to Eclipse. WWW: http://www.drjava.org/eclipse.shtml PR: ports/95747 Submitted by: Nicola Vitale <nivit at email.it> |
||
---|---|---|
.. | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-plist |