diff options
| author | xoviat <xoviat@users.noreply.github.com> | 2017-11-29 11:49:54 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-29 11:49:54 -0600 |
| commit | 7dda8dcdd038be809dc5ecdd5d7b1020a90b0f11 (patch) | |
| tree | c94d197540cb98d918b406c4428eb96ad6f8bfcd /scripts | |
| parent | 51c9c6eb619b35cab4e3875d3474e6fed148f80d (diff) | |
| download | vcpkg-7dda8dcdd038be809dc5ecdd5d7b1020a90b0f11.tar.gz vcpkg-7dda8dcdd038be809dc5ecdd5d7b1020a90b0f11.zip | |
[mpfr] fix portfile
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions