K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2014-06-28T22:47:33.946334Z
K 7
svn:log
V 316
Remove java/eclipse-devel as java/eclipse is newer

Given the amount of work required to maintain a single version of eclipse,
it was thought prudent to focus maintenance efforts on a single port,
especially since the plugins are designed for java/eclipse, not the
development version.  Discussed in PR.

PR: 188659

END