diff src/sat.tac @ 931:3b30e9f83d88

misc: sat stop would not kill all sat instances anymore
author souliane <souliane@mailoo.org>
date Sun, 23 Mar 2014 22:44:49 +0100
parents 1fe00f0c9a91
children 05e02f8b7eb4
line wrap: on
line diff