True! I'll update the jars on Monday (when I'm back in a fast internet connection).
Thanks -Vincent > -----Original Message----- > From: Martin van den Bemt [mailto:[EMAIL PROTECTED]] > Sent: 08 February 2003 01:25 > To: Gump code and data > Subject: Re: cvs commit: jakarta-gump/project eclipse.xml > > They just release m5 :) > > Mvgr, > Martin > > On Fri, 2003-02-07 at 15:28, [EMAIL PROTECTED] wrote: > > jruaux 2003/02/07 06:28:49 > > > > Modified: project eclipse.xml > > Log: > > Added ids to the eclipse jars > > > > Revision Changes Path > > 1.3 +11 -11 jakarta-gump/project/eclipse.xml > > > > Index: eclipse.xml > > =================================================================== > > RCS file: /home/cvs/jakarta-gump/project/eclipse.xml,v > > retrieving revision 1.2 > > retrieving revision 1.3 > > diff -u -r1.2 -r1.3 > > --- eclipse.xml 6 Feb 2003 21:24:28 -0000 1.2 > > +++ eclipse.xml 7 Feb 2003 14:28:49 -0000 1.3 > > @@ -9,18 +9,18 @@ > > > > <package>org.eclipse</package> > > > > - <jar name="plugins/org.junit_3.8.1/junit.jar"/> > > - <jar name="plugins/org.eclipse.core.boot_2.1.0/boot.jar"/> > > - <jar > name="plugins/org.eclipse.core.resources_2.1.0/resources.jar"/> > > - <jar name="plugins/org.eclipse.core.runtime_2.1.0/runtime.jar"/> > > - <jar name="plugins/org.eclipse.debug.core_2.1.0/dtcore.jar"/> > > - <jar name="plugins/org.eclipse.debug.ui_2.1.0/dtui.jar"/> > > - <jar name="plugins/org.eclipse.jdt.core_2.1.0/jdtcore.jar"/> > > - <jar > name="plugins/org.eclipse.jdt.launching_2.1.0/launching.jar"/> > > + <jar name="plugins/org.junit_3.8.1/junit.jar" id="junit"/> > > + <jar name="plugins/org.eclipse.core.boot_2.1.0/boot.jar" > id="boot"/> > > + <jar > name="plugins/org.eclipse.core.resources_2.1.0/resources.jar" > id="resources"/> > > + <jar name="plugins/org.eclipse.core.runtime_2.1.0/runtime.jar" > id="runtime"/> > > + <jar name="plugins/org.eclipse.debug.core_2.1.0/dtcore.jar" > id="dtcore"/> > > + <jar name="plugins/org.eclipse.debug.ui_2.1.0/dtui.jar" > id="dtui"/> > > + <jar name="plugins/org.eclipse.jdt.core_2.1.0/jdtcore.jar" > id="jdtcore"/> > > + <jar name="plugins/org.eclipse.jdt.launching_2.1.0/launching.jar" > id="launching"/> > > <jar name="plugins/org.eclipse.swt.win32_2.1.0/ws/win32/swt.jar" > id="swt"/> > > - <jar name="plugins/org.eclipse.jface_2.1.0/jface.jar"/> > > - <jar name="plugins/org.eclipse.ant.core_2.1.0/antsupport.jar"/> > > - <jar > name="plugins/org.eclipse.ui.workbench_2.1.0/workbench.jar"/> > > + <jar name="plugins/org.eclipse.jface_2.1.0/jface.jar" > id="jface"/> > > + <jar name="plugins/org.eclipse.ant.core_2.1.0/antsupport.jar" > id="antsupport"/> > > + <jar name="plugins/org.eclipse.ui.workbench_2.1.0/workbench.jar" > id="workbench"/> > > > > </project> > > > > > > > > > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [EMAIL PROTECTED] > > For additional commands, e-mail: [EMAIL PROTECTED] > > > > > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]