diff options
author | ng0 <ng0@n0.is> | 2019-02-22 10:57:35 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-02-22 10:57:35 +0000 |
commit | ef439f32718fc09bcf3bfb98800ec75d0edc6084 (patch) | |
tree | d21e91e891115ad175c471e306f1e0c65d3441cb /doc/man/gnunet-config.1 | |
parent | 21494e96807553b81140769c7c69949b82592e96 (diff) | |
download | gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.tar.gz gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.zip |
adjust mantis url
Diffstat (limited to 'doc/man/gnunet-config.1')
-rw-r--r-- | doc/man/gnunet-config.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man/gnunet-config.1 b/doc/man/gnunet-config.1 index c4f979fb0..f1443283f 100644 --- a/doc/man/gnunet-config.1 +++ b/doc/man/gnunet-config.1 | |||
@@ -42,7 +42,7 @@ Use LOGLEVEL for logging. Valid values are DEBUG, INFO, WARNING and ERROR. | |||
42 | .IP "\-v, \-\-version" | 42 | .IP "\-v, \-\-version" |
43 | Print GNUnet version number. | 43 | Print GNUnet version number. |
44 | .SH BUGS | 44 | .SH BUGS |
45 | Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending | 45 | Report bugs by using Mantis <https://bugs.gnunet.org/> or by sending |
46 | electronic mail to <gnunet\-developers@gnu.org> | 46 | electronic mail to <gnunet\-developers@gnu.org> |
47 | .SH SEE ALSO | 47 | .SH SEE ALSO |
48 | The full documentation for | 48 | The full documentation for |