diff options
| author | Martin Hořeňovský <martin.horenovsky@gmail.com> | 2018-06-14 22:37:39 +0200 |
|---|---|---|
| committer | Robert Schumacher <roschuma@microsoft.com> | 2018-06-14 22:37:39 +0200 |
| commit | fb7b8365fe34c8037ef504339abf4db07930fdaa (patch) | |
| tree | d982e21917a9df301486c201417d463fea976841 /scripts | |
| parent | 810268cc51cb899d7f577fccbc9551c2e48d5d58 (diff) | |
| download | vcpkg-fb7b8365fe34c8037ef504339abf4db07930fdaa.tar.gz vcpkg-fb7b8365fe34c8037ef504339abf4db07930fdaa.zip | |
Add a modernized cross-platform fork of MiniSat 2.2 (#3692)
* Add a modernized cross-platform fork of MiniSat 2.2
* [minisat-master-keying] Put copyright in correct directory. Lowercase share name.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions