Module Name: src Committed By: sevan Date: Wed Aug 15 15:11:18 UTC 2018 Modified Files: src/doc: 3RDPARTY To generate a diff of this commit: cvs rdiff -u -r1.1547 -r1.1548 src/doc/3RDPARTY Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.