Module Name: src Committed By: mrg Date: Fri Nov 29 08:53:14 UTC 2013
Modified Files: src/doc: 3RDPARTY Log Message: note GMP 5.1.3 is in tree. To generate a diff of this commit: cvs rdiff -u -r1.1069 -r1.1070 src/doc/3RDPARTY Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.