summaryrefslogtreecommitdiff
path: root/tests/simple
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-10-31 12:02:18 +0100
committerClifford Wolf <clifford@clifford.at>2013-10-31 12:02:18 +0100
commit961eaa0077d4fe804ee63147752b9f2697d8b683 (patch)
tree78c71251259a5759fd15089450abf652f3436cab /tests/simple
parentd78a9dfb372654999916af46f35fe3914f960d9d (diff)
Changed MiniSAT feater defines again
Diffstat (limited to 'tests/simple')
0 files changed, 0 insertions, 0 deletions