diff frontends/src/jp/cmd_pipe.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 c39117d00f35
children 069ad98b360d
line wrap: on
line diff