log src/sat.sh @ 2357:fa43e285df1d

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