diff options
| author | Wei Dai <wei.dai@microsoft.com> | 2021-02-24 13:33:26 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-24 13:33:26 -0800 |
| commit | f5f494d0879b83b8e620a12d938048ae642a09e1 (patch) | |
| tree | 2e64b243ce616f1a069e090e95b76f6f9a83ebdc /scripts/file_script.py | |
| parent | 95f881be069d0d2493f48737f0c6547278509b97 (diff) | |
| download | vcpkg-f5f494d0879b83b8e620a12d938048ae642a09e1.tar.gz vcpkg-f5f494d0879b83b8e620a12d938048ae642a09e1.zip | |
[seal] Updated SEAL version to 3.6.2. (#16379)
* Updated SEAL's version to the latest.
* Updated version number in ports/seal/CONTROL.
* update version
Co-authored-by: Jonliu1993 <13720414433@163.com>
Diffstat (limited to 'scripts/file_script.py')
0 files changed, 0 insertions, 0 deletions