log src/sat.sh @ 2277:637886ac35f6

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