vcpkg/ports/minisat-master-keying
Martin Hořeňovský fb7b8365fe 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.
2018-06-14 22:37:39 +02:00
..
CONTROL Add a modernized cross-platform fork of MiniSat 2.2 (#3692) 2018-06-14 22:37:39 +02:00
portfile.cmake Add a modernized cross-platform fork of MiniSat 2.2 (#3692) 2018-06-14 22:37:39 +02:00