diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-08-19 17:19:27 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-08-19 17:19:27 +0200 |
| commit | 190a1fadafd65d8716f9bcf0704e2bd68c9eeedd (patch) | |
| tree | 246c096bf863411b48430a4a509469d4203911ea /doc | |
| parent | 0df2028f96f5977739d4659bf253e0c6d9468326 (diff) | |
re-init logging so we can tell by PID who it is
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions