log src/sat.sh @ 493:b7c4bb2c0668

age author description
Sat, 14 Apr 2012 13:53:55 +0200 Emmanuel Gil Peyrot misc: Make the shell launcher use the same python interpreter than setup.py.