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

Reply via email to