diff src/memory/memory.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 cbf4122baae7
children 5b2d2f1f05d0
line wrap: on
line diff