summaryrefslogtreecommitdiff
path: root/tests/sat
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-06 16:08:04 +0100
committerClifford Wolf <clifford@clifford.at>2015-01-06 16:08:04 +0100
commitda7205010771f4dd0db6ffa9ff4e373a2a03588d (patch)
tree0a1a963bdfae3a69c01cecba251104ca4f39b9e8 /tests/sat
parent859e3e41e7c96e2442d5ff2d3fb54dc5bdffea94 (diff)
removed old debug code
Diffstat (limited to 'tests/sat')
0 files changed, 0 insertions, 0 deletions