mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-20 00:21:35 +00:00
e8e3bad468
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 |