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-ecc.1 | |
parent | 21494e96807553b81140769c7c69949b82592e96 (diff) | |
download | gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.tar.gz gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.zip |
adjust mantis url
Diffstat (limited to 'doc/man/gnunet-ecc.1')
-rw-r--r-- | doc/man/gnunet-ecc.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man/gnunet-ecc.1 b/doc/man/gnunet-ecc.1 index e3db11eab..aedc0bc49 100644 --- a/doc/man/gnunet-ecc.1 +++ b/doc/man/gnunet-ecc.1 | |||
@@ -49,7 +49,7 @@ Print GNUnet version number. | |||
49 | 49 | ||
50 | 50 | ||
51 | .SH BUGS | 51 | .SH BUGS |
52 | Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending | 52 | Report bugs by using Mantis <https://bugs.gnunet.org/> or by sending |
53 | electronic mail to <gnunet\-developers@gnu.org> | 53 | electronic mail to <gnunet\-developers@gnu.org> |
54 | .SH SEE ALSO | 54 | .SH SEE ALSO |
55 | The full documentation for | 55 | The full documentation for |