CVS commit: src/doc

["matthew green" <mrg%netbsd.org@localhost>]

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.