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