log src/sat.sh @ 2118:442423faf220

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