diff src/memory/params.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 1a759096ccbd
children fc7e0828b18e
line wrap: on
line diff