Changes

Jump to navigation Jump to search

Grep log file

40 bytes added, 09:14, 28 August 2013
sed -i "s/relax> //" $OUT ;
sed -i 's/^- /\n#- /' $OUT ;
sed -i 's/^minimise(/\\n#script(/' $OUT ;sed -i 's/^script(/\nminimise(/' $OUT ;
sed -i 's/^results.write(/\nresults.write(/' $OUT ;
sed -i 's/^model_selection(/\nmodel_selection(/' $OUT ;
Trusted, Bureaucrats
1,382

edits

Navigation menu