Module Name: src Committed By: christos Date: Thu Jan 14 00:41:15 UTC 2016
Modified Files: src/doc: 3RDPARTY Log Message: texinfo has moved. To generate a diff of this commit: cvs rdiff -u -r1.1296 -r1.1297 src/doc/3RDPARTY Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.