Nick Cameron 9a7fac63c8 Remove format_and_emit_report from the API ... Also changes the header/footer stuff		2018-05-21 15:09:17 +12:00
..
main.rs	Remove format_and_emit_report from the API	2018-05-21 15:09:17 +12:00