comparison src/sat.tac @ 1059:b2b9c184033f

core, frontends: remove bridge method "connect" (always use asyncConnect)
author souliane <souliane@mailoo.org>
date Fri, 23 May 2014 10:40:54 +0200
parents a836b6da2c5c
children
comparison
equal deleted inserted replaced
1058:0a9986452bba 1059:b2b9c184033f