diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-05T19·35+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-09-05T19·35+0200 |
| commit | 0a2545f95c155588a82f0e112aa1e8853e58477d (patch) | |
| tree | 4e1fb42d4a2d19b55833da2746924db692e306d7 /doc/manual/manual.xml | |
| parent | c4ba5f4be9991f0d6700d29cd025d6fef1575e96 (diff) | |
Log stats to stderr
We shouldn't pollute stdout.
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions