mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-21 04:06:46 +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>
8 lines
353 B
Plaintext
8 lines
353 B
Plaintext
@comment $FreeBSD$
|
|
eclipse/plugins/edu.rice.cs.drjava_0.9.5/drjava-eclipse.jar
|
|
eclipse/plugins/edu.rice.cs.drjava_0.9.5/icons/drjava16.gif
|
|
eclipse/plugins/edu.rice.cs.drjava_0.9.5/icons/drjava16.png
|
|
eclipse/plugins/edu.rice.cs.drjava_0.9.5/plugin.xml
|
|
@dirrm eclipse/plugins/edu.rice.cs.drjava_0.9.5/icons
|
|
@dirrm eclipse/plugins/edu.rice.cs.drjava_0.9.5
|