DrJava Mint Branch Merged Back into Trunk

Posted on September 28, 2009 by Mathias

I just merged the trunk-mint branch of DrJava back into the trunk and made a new weekly release1: drjava-weekly-20090929-r5094.jar.


Footnotes:
  1. I actually issue these “weakly” releases more often than just weekly. It’s just a convenient mechanism to benefit from the auto-update feature. [back]

About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in DrJava, Mint. Bookmark the permalink.

Leave a Reply