diff options
| author |   Alexey Neyman <stilor@att.net> | 2018-02-02 06:16:05 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2018-02-02 06:16:05 (GMT) |
| commit | fd9fe523b22cb6281f26081232a3f8f3aee7fda1 (patch) | |
| tree | 9851733e0973e1de900d7f932e5b88fe637441f3 /config/comp_libs/mpfr.in | |
| parent | ba165ed4c0bfa8a83e61a2efd1ad205777978486 (diff) | |
| parent | 36bb675a71cc66a2abd69bc82d613f2153d3791f (diff) | |
Merge pull request #904 from stilor/upgrade
A bunch of upgrades
Diffstat (limited to 'config/comp_libs/mpfr.in')
| -rw-r--r-- | config/comp_libs/mpfr.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/comp_libs/mpfr.in b/config/comp_libs/mpfr.in index f49d1a7..733d9ed 100644 --- a/config/comp_libs/mpfr.in +++ b/config/comp_libs/mpfr.in @@ -1 +1 @@ -# GMP options +# MPFR options |