On Thursday, November 20, 2003, at 09:47 AM, Gerry Reno wrote:


David,
  Ok, I went and resync'd with the pluto HEAD and rebuilt pluto.  It
now builds a jar named "pluto-1.0.jar" instead of the name "
pluto-0.1-dev-unreleased.jar".  Is this going to be a problem?  Do I
need to rename this jar?

How did you build Pluto? What did you type and from which directory?



---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]



Reply via email to