# HG changeset patch # User Goffi # Date 1332601876 -3600 # Node ID ac568832a71a48cbaf84dea9cc80775d2811af89 # Parent d9456d94cd125fc86bb82722998093d4153a1cd5 fixed lauching script diff -r d9456d94cd12 -r ac568832a71a src/sat.sh --- a/src/sat.sh Wed Mar 14 23:45:01 2012 +0100 +++ b/src/sat.sh Sat Mar 24 16:11:16 2012 +0100 @@ -20,6 +20,7 @@ eval `python<