Add none reporter and option to hide file header for better in editor support#372
Closed
rrothenberger wants to merge 3 commits into
Closed
Add none reporter and option to hide file header for better in editor support#372rrothenberger wants to merge 3 commits into
rrothenberger wants to merge 3 commits into