Module Name: src
Committed By: mrg
Date: Sat Sep 26 07:40:50 UTC 2020
Modified Files:
src/external/lgpl3/mpfr/dist/src: Makefile.in
Added Files:
src/external/lgpl3/mpfr/dist: PATCHES
Log Message:
empty PATCHES is needed. revert a local change that is wrong now.
To generate a diff of this commit:
cvs rdiff -u -r0 -r1.4 src/external/lgpl3/mpfr/dist/PATCHES
cvs rdiff -u -r1.5 -r1.6 src/external/lgpl3/mpfr/dist/src/Makefile.in
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
