log src/sat.sh @ 2012:53587e738aca

age author description
Fri, 04 Mar 2016 23:24:06 +0100 Goffi misc (sat.sh): exec + better stop: