Changes

Grep log file

No change in size, 13:37, 13 June 2013

sed -i "s/relax> //"$OUT ;

sed -i 's/^- /\n#- /' $OUT ;

sed -i 's/^minimise(/\nminimise(/' ~~$OUT~~ test ; sed -i '0,/spectrum.replicated(/s//\nspectrum.replicated(/' ~~$OUT~~ test ;

== See also ==

1,660

edits