log src/sat.sh @ 716:30eb49e4e05d

age author description
Fri, 18 Jan 2013 17:55:34 +0100 Emmanuel Gil Peyrot Remove trailing whitespaces.
Sat, 14 Apr 2012 13:53:55 +0200 Emmanuel Gil Peyrot misc: Make the shell launcher use the same python interpreter than setup.py.
Sat, 24 Mar 2012 16:11:16 +0100 Goffi fixed lauching script