Revision 225d8905d3aece2dfe36ed07b3b897a16fa711b4

Committed on 27/07/2014 8:25 am by gggeek <[email protected]> [GitHub Diff]

Allow tracing text extraction times; update version info