diff options
| author | Alexander Neumann <30894796+Neumann-A@users.noreply.github.com> | 2021-01-29 04:29:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-28 19:29:12 -0800 |
| commit | 7f400c423c5ee251834765f0a90ac6727a335ba5 (patch) | |
| tree | 13a9568e76ae985d0db96aeca0ed42819ddd43c9 /scripts | |
| parent | 82a9a8436e6a482042ad3204276843c53c5c4b6e (diff) | |
| download | vcpkg-7f400c423c5ee251834765f0a90ac6727a335ba5.tar.gz vcpkg-7f400c423c5ee251834765f0a90ac6727a335ba5.zip | |
[CGAL] switch dep to gmp instead of mpir (#15860)
* [cgal] switch dependency to gmp
* run x-add-version
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions