Trusted, Bureaucrats
1,382
edits
Changes
Jump to navigation
Jump to search
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 ;
