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>
7 lines
353 B
Text
7 lines
353 B
Text
@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
|