diff options
Diffstat (limited to 'doc/man/gnunet-testbed-profiler.1')
-rw-r--r-- | doc/man/gnunet-testbed-profiler.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man/gnunet-testbed-profiler.1 b/doc/man/gnunet-testbed-profiler.1 index cac6e9af7..b1dde99dd 100644 --- a/doc/man/gnunet-testbed-profiler.1 +++ b/doc/man/gnunet-testbed-profiler.1 | |||
@@ -38,7 +38,7 @@ Create COUNT number of peers. | |||
38 | .IP "\-v, \-\-version" | 38 | .IP "\-v, \-\-version" |
39 | Print GNUnet version number. | 39 | Print GNUnet version number. |
40 | .SH BUGS | 40 | .SH BUGS |
41 | Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending electronic mail to <gnunet\-developers@gnu.org> | 41 | Report bugs by using Mantis <https://bugs.gnunet.org/> or by sending electronic mail to <gnunet\-developers@gnu.org> |
42 | .SH "SEE ALSO" | 42 | .SH "SEE ALSO" |
43 | The full documentation for | 43 | The full documentation for |
44 | .B gnunet | 44 | .B gnunet |