comparison src/sat.tac @ 388:a617af506154

core: progress callback now use id as first parameter
author Goffi <goffi@goffi.org>
date Thu, 29 Sep 2011 12:14:19 +0200
parents 0a8eb0461f31
children cf005701624b
comparison
equal deleted inserted replaced
387:e66d300c5d42 388:a617af506154