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.conf.5 | |
| parent | 21494e96807553b81140769c7c69949b82592e96 (diff) | |
| download | gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.tar.gz gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.zip | |
adjust mantis url
Diffstat (limited to 'doc/man/gnunet.conf.5')
| -rw-r--r-- | doc/man/gnunet.conf.5 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man/gnunet.conf.5 b/doc/man/gnunet.conf.5 index 3c88305ba..46ea11319 100644 --- a/doc/man/gnunet.conf.5 +++ b/doc/man/gnunet.conf.5 | |||
| @@ -130,7 +130,7 @@ to the actual external address for your usage. | |||
| 130 | ~/.config/gnunet.conf | 130 | ~/.config/gnunet.conf |
| 131 | GNUnet configuration file | 131 | GNUnet configuration file |
| 132 | .SH BUGS | 132 | .SH BUGS |
| 133 | Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending | 133 | Report bugs by using Mantis <https://bugs.gnunet.org/> or by sending |
| 134 | electronic mail to <bug-gnunet@gnu.org> | 134 | electronic mail to <bug-gnunet@gnu.org> |
| 135 | .SH SEE ALSO | 135 | .SH SEE ALSO |
| 136 | \fBgnunet\-setup\fP(1), \fBgnunet\-arm\fP(1) | 136 | \fBgnunet\-setup\fP(1), \fBgnunet\-arm\fP(1) |