Module Name: src Committed By: sevan Date: Sat Sep 9 21:34:07 UTC 2017
Modified Files:
src/doc: CHANGES
Log Message:
Note veriexecgen change
To generate a diff of this commit:
cvs rdiff -u -r1.2311 -r1.2312 src/doc/CHANGES
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
