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.
