Module Name: src Committed By: mrg Date: Sat Sep 26 07:01:40 UTC 2020
Removed Files: src/external/lgpl3/mpfr/dist: PATCHES Log Message: we don't have a patch version for a while now. To generate a diff of this commit: cvs rdiff -u -r1.2 -r0 src/external/lgpl3/mpfr/dist/PATCHES Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.