Changeset 75f460 in git for Singular/flexer.sh

Timestamp:

Dec 16, 2014, 3:43:21 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

fce947c9e6c3e8c6d5a622c7f6b0d724580993cc

Parents:

a2e4470c6e9a666de8ab7b706370c15e13092f76

Message:

format

File:

• Singular/flexer.sh (modified) (2 diffs)

Singular/flexer.sh

@@ -35 +35 @@
           #echo `echo $arg|sed -e "s/-.*/SPECIALVALUE/"`
           if  [ SPECIALVALUE = `echo $arg|sed -e "s/-.*/SPECIALVALUE/"` ];
-              
+
               then
               dummy=0;
           else
               file=$arg
-              
+
           fi
       fi
@@ -57 +57 @@
         exit 1;
     fi
-        
+
 else
     #echo "good version";