Redirect time statistics to stdout (fixes #4)
This commit is contained in:
parent
4bfd1788ec
commit
3ede178eb3
Loading…
Reference in New Issue