From 65c5a4f90882f999eeb3b1c086734a9ade39b220 Mon Sep 17 00:00:00 2001 From: Goffi Date: Sat, 24 Mar 2012 16:11:16 +0100 Subject: [PATCH] fixed lauching script --- src/sat.sh | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/src/sat.sh b/src/sat.sh index 1d30ed0a..945807b4 100755 --- a/src/sat.sh +++ b/src/sat.sh @@ -20,6 +20,7 @@ NAME='sat' eval `python<