Closed geoffholden closed 8 years ago
Patch attached. versionnumber.patch.txt
Instead of just attaching the patch to an issue, if you fork the repo and make it a Pull Request, it'll be easier for the repo developers to evaluate (plus you'll get author credit in the commit history once it's merged).
When building the 0.10 release, the output jar file is still called ditaa0_9.jar. The version.string property in release.xml didn't get updated.