Import java/eclipse-drjava version 0.9.8_5
authorDPorts Builder <nobody@home.ok>
Sun, 17 Nov 2013 20:16:55 +0000 (12:16 -0800)
committerDPorts Builder <nobody@home.ok>
Sun, 17 Nov 2013 20:16:55 +0000 (12:16 -0800)
commit115d8448b04727f6015073e2c07c1d02db66efd3
tree0b5806cd1b468c0d5b2d098735a08997cb642092
parent735bafc4907e8f30261e73560b04b70adc56929a
Import java/eclipse-drjava version 0.9.8_5
java/eclipse-drjava/Makefile [new file with mode: 0644]
java/eclipse-drjava/distinfo [new file with mode: 0644]
java/eclipse-drjava/pkg-descr [new file with mode: 0644]
java/eclipse-drjava/pkg-plist [new file with mode: 0644]