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