log src/sat.sh @ 2391:07e1543d6992

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