Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
0.12.2
-
None
-
None
Description
It is convenient to have an OutputFormat that just ignores any outputs.
It is convenient to have an OutputFormat that just ignores any outputs.