diff frontends/src/quick_frontend/constants.py @ 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 75025461141f
line wrap: on
line diff