scribble/scribble-java — pull request #39 by objectiser (2014-11-18 22:26:25+00:00)
Title: Include user and developer guide as part of the build, and fix dependenc...

...y in trace editor plugin