comparison src/sat.sh @ 425:e4e9187e3b5b

backend, bridge: asynchronous history quick_frontend: use of asynchronous history
author Goffi <goffi@goffi.org>
date Tue, 08 Nov 2011 01:08:11 +0100
parents e83d0c21d64d
children ac568832a71a
comparison
equal deleted inserted replaced
424:72c13313b6d6 425:e4e9187e3b5b