On 23/04/18 18:00, bode...@apache.org wrote: > Author: bodewig > Date: Mon Apr 23 17:00:37 2018 > New Revision: 1829908 > > URL: http://svn.apache.org/viewvc?rev=1829908&view=rev > Log: > fix filename > > Modified: > gump/metadata/project/eclipse.xml > > Modified: gump/metadata/project/eclipse.xml > URL: > http://svn.apache.org/viewvc/gump/metadata/project/eclipse.xml?rev=1829908&r1=1829907&r2=1829908&view=diff > ============================================================================== > --- gump/metadata/project/eclipse.xml (original) > +++ gump/metadata/project/eclipse.xml Mon Apr 23 17:00:37 2018 > @@ -28,7 +28,7 @@ > > <jar name="plugins/org.eclipse.core.boot_3.0.0/boot.jar" id="boot"/> > <jar name="plugins/org.eclipse.core.runtime_3.1.0.jar" id="runtime"/> > - <jar name="plugins/R-4.7.3a-201803300640/ecj-4.7.3a.jar" id="jdtcore"/> > + <jar name="plugins/R-4.7.3a-201803300640/ecj-7.7.3a.jar" id="jdtcore"/>
The original name was correct. Looks like I fat-fingered the on-disk name. I'll fix that. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: general-unsubscr...@gump.apache.org For additional commands, e-mail: general-h...@gump.apache.org