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-gns.1 | |
| parent | 21494e96807553b81140769c7c69949b82592e96 (diff) | |
| download | gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.tar.gz gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.zip | |
adjust mantis url
Diffstat (limited to 'doc/man/gnunet-gns.1')
| -rw-r--r-- | doc/man/gnunet-gns.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man/gnunet-gns.1 b/doc/man/gnunet-gns.1 index 9f7a651a7..597297629 100644 --- a/doc/man/gnunet-gns.1 +++ b/doc/man/gnunet-gns.1 | |||
| @@ -41,7 +41,7 @@ Print GNUnet version number. | |||
| 41 | gnunet\-gns will return 0 on success, 1 on internal failures, 2 on | 41 | gnunet\-gns will return 0 on success, 1 on internal failures, 2 on |
| 42 | launch failures, 4 if the given name is not configured to use GNS. | 42 | launch failures, 4 if the given name is not configured to use GNS. |
| 43 | .SH BUGS | 43 | .SH BUGS |
| 44 | Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending | 44 | Report bugs by using Mantis <https://bugs.gnunet.org/> or by sending |
| 45 | electronic mail to <gnunet\-developers@gnu.org> | 45 | electronic mail to <gnunet\-developers@gnu.org> |
| 46 | .SH SEE ALSO | 46 | .SH SEE ALSO |
| 47 | \fBgnunet\-namestore\fP(1), \fBgnunet\-identity\fP(1) | 47 | \fBgnunet\-namestore\fP(1), \fBgnunet\-identity\fP(1) |