mirror of
https://github.com/microsoft/vcpkg.git
synced 2025-01-01 13:37:55 +08:00
580e3785e2
* [hdf5] fix tools getting deleted somehow * v db * fix tools on windows * v db