chiark / gitweb /
prepare to handle forced-stop in ORIG_DIRECT (not done yet)
authorstevenj <stevenj@alum.mit.edu>
Sat, 10 Jul 2010 21:59:37 +0000 (17:59 -0400)
committerstevenj <stevenj@alum.mit.edu>
Sat, 10 Jul 2010 21:59:37 +0000 (17:59 -0400)
commit3f1aa34164b4cce1d96ce039badf999d8679fe93
tree5c77a8f54de8fb15de93406be382677908fc1300
parent4a63ac8c27b7778f24d832da33a44dbe121005a2
prepare to handle forced-stop in ORIG_DIRECT (not done yet)

darcs-hash:20100710215937-c8de0-b67e75ac8c2281b62aff33d86556069b4dc33c95.gz
api/optimize.c