diff options
| author | NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com> | 2020-08-06 05:08:18 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-05 14:08:18 -0700 |
| commit | 1ed263bc5237599365b29537ec526e640ce56f5b (patch) | |
| tree | 95ee2b915ea941e750ceee6cdc2360cc74533bc5 /scripts | |
| parent | 4454f8fb9870102b85d9118ec2c2e80a08b8a474 (diff) | |
| download | vcpkg-1ed263bc5237599365b29537ec526e640ce56f5b.tar.gz vcpkg-1ed263bc5237599365b29537ec526e640ce56f5b.zip | |
[mpir, gmp] Add message to handle the conflicts between these two ports. (#12664)
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions