diff options
| author | Michael Konečný <konecny.mike@gmail.com> | 2020-04-07 00:21:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-06 15:21:36 -0700 |
| commit | 7edaafb077cc1915e95f4c7c13b1187dbc14f1b4 (patch) | |
| tree | 832a47cb8822aadd2627cdbd056ec7c65311c9f1 /scripts | |
| parent | 6028fd5e1afc8deb653d29cf93dfb7f11fe954b5 (diff) | |
| download | vcpkg-7edaafb077cc1915e95f4c7c13b1187dbc14f1b4.tar.gz vcpkg-7edaafb077cc1915e95f4c7c13b1187dbc14f1b4.zip | |
[mpfr] Add mirror for mpfr at gnu.org (#10035)
* add mirror for mpfr at gnu.org
* remove deprecated include(vcpkg_common_functions)
* update version number after modified port
* update copyright handling command to install
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions