diff options
| author | Wei Dai <wei.dai@microsoft.com> | 2021-07-01 08:41:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-01 08:41:40 -0700 |
| commit | d93cf33a224a9cc8de9ed92084b5d31c1f86bb15 (patch) | |
| tree | 9b1e7c782318f62c18866b61c2ba94ce45a6e724 /scripts | |
| parent | ffa4f9dd3747c10a4fc76d0a40a63b6570df587f (diff) | |
| download | vcpkg-d93cf33a224a9cc8de9ed92084b5d31c1f86bb15.tar.gz vcpkg-d93cf33a224a9cc8de9ed92084b5d31c1f86bb15.zip | |
[seal] Fixed cannot find SEAL. (#18596)
* Fixed cannot find seal.
* Updated versioning.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions