mirror of
https://github.com/microsoft/vcpkg.git
synced 2025-01-08 21:37:23 +08:00
fb7b8365fe
* Add a modernized cross-platform fork of MiniSat 2.2 * [minisat-master-keying] Put copyright in correct directory. Lowercase share name.