diff options
| author | Maxime GIMENO <maxime.gimeno@gmail.com> | 2020-11-19 00:44:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-18 15:44:04 -0800 |
| commit | e55c6e1b83cb0e08a85c89cd3ec46b64335230d5 (patch) | |
| tree | 21860d0383423dceefd4ad492509b0a0d8c0cf7b /scripts/toolchains | |
| parent | f6612d53ed6d38a52fd6967326663a690a154ddf (diff) | |
| download | vcpkg-e55c6e1b83cb0e08a85c89cd3ec46b64335230d5.tar.gz vcpkg-e55c6e1b83cb0e08a85c89cd3ec46b64335230d5.zip | |
CGAL: Update to 5.1.1 (#14605)
* Update to 5.1.1
* Update CONTROL
* Fix repo name
Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com>
Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com>
Diffstat (limited to 'scripts/toolchains')
0 files changed, 0 insertions, 0 deletions