Changes

Jump to navigation Jump to search

Grep log file

1 byte removed, 09:15, 28 August 2013
sed -i "s/relax> //" $OUT ;
sed -i 's/^- /\n#- /' $OUT ;
sed -i 's/^minimise(/\\n#scriptnminimise(/' $OUT ;sed -i 's/^script(/\nminimisen#script(/' $OUT ;
sed -i 's/^results.write(/\nresults.write(/' $OUT ;
sed -i 's/^model_selection(/\nmodel_selection(/' $OUT ;
Trusted, Bureaucrats
1,382

edits

Navigation menu