log src/sat.sh @ 616:8782f94e761e

age author description
2013-01-18 Emmanuel Gil Peyrot Remove trailing whitespaces.
2012-04-14 Emmanuel Gil Peyrot misc: Make the shell launcher use the same python interpreter than setup.py.
2012-03-24 Goffi fixed lauching script