summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-10-12 12:11:57 +0200
committerClifford Wolf <clifford@clifford.at>2014-10-12 12:11:57 +0200
commit0b9282a779867459fe5babfff300795c343c46ea (patch)
tree58cd6e254eeeaf2bd812306835dce98baea2a66e /libs/ezsat/ezminisat.h
parent9b4d171e37aa23adbdbad1ca1e983e4bf35604f9 (diff)
Added make_temp_{file,dir}() and remove_directory() APIs
Diffstat (limited to 'libs/ezsat/ezminisat.h')
0 files changed, 0 insertions, 0 deletions