Changes

Jump to navigation Jump to search

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 ==

Navigation menu