diff options
| author | xoviat <xoviat@users.noreply.github.com> | 2017-11-29 12:17:31 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-29 12:17:31 -0600 |
| commit | e0362393cfb4555b3928239aa7ae40b888203359 (patch) | |
| tree | 4aa8bc40c5acadeaa12fac70fc36441c7ab5574a /scripts | |
| parent | d0f6656b55284e3ec65a83528711445d6df6ee02 (diff) | |
| download | vcpkg-e0362393cfb4555b3928239aa7ae40b888203359.tar.gz vcpkg-e0362393cfb4555b3928239aa7ae40b888203359.zip | |
[mpfr] define have_stdint_h
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions