diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-17 10:59:10 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-17 10:59:10 +0000 |
| commit | bbc37abd58d11880b217b7e1f67461bd6d8d59bf (patch) | |
| tree | c09b65fd440a81b427a7d9306f5a4e2b8da5e5a3 /PATCHES | |
| parent | b276b076cfe4b808b473daaba00e3adf04581db0 (diff) | |
| download | mpfr-bbc37abd58d11880b217b7e1f67461bd6d8d59bf.tar.gz | |
[src/Makefile.am] Update for mini-gmp (install mini-gmp.h).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/with-mini-gmp@13209 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'PATCHES')
0 files changed, 0 insertions, 0 deletions