diff options
-rw-r--r-- | developers-manual.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/developers-manual.rst b/developers-manual.rst index 95ba384d..306e3e06 100644 --- a/developers-manual.rst +++ b/developers-manual.rst @@ -926,6 +926,7 @@ Naming conventions * libraries with associated service) use 'GNUNET_log_from' with the name of the service, which should also be their directory name (i.e. 'exchange') + * for tools with ``-l LOGFILE``, its absence means write logs to stderr * configuration |