Updated documentation to include infrmation about reports encoding.#790

Merged

jgebal merged 1 commit intodevelopfrom

feature/html_coverage_encoding

Nov 18, 2018

Commits on Nov 18, 2018

Updated documentation to include infrmation about reports encoding.
jgebal
committed