summaryrefslogtreecommitdiff
path: root/libs
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-08-15 11:40:01 +0200
committerClifford Wolf <clifford@clifford.at>2013-08-15 11:40:01 +0200
commit2f3da54f269fac5dab4b03eec80182c534f8c28f (patch)
treeb2da83064fd40f50b46aa958a55e7415b893214e /libs
parentd0e93e04d1cc196264b0bbcf1aafcfba0adb2ea0 (diff)
Added sat -ignore_div_by_zero switch
Diffstat (limited to 'libs')
0 files changed, 0 insertions, 0 deletions