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-download-manager.1 | |
| parent | 21494e96807553b81140769c7c69949b82592e96 (diff) | |
| download | gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.tar.gz gnunet-ef439f32718fc09bcf3bfb98800ec75d0edc6084.zip | |
adjust mantis url
Diffstat (limited to 'doc/man/gnunet-download-manager.1')
| -rw-r--r-- | doc/man/gnunet-download-manager.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man/gnunet-download-manager.1 b/doc/man/gnunet-download-manager.1 index 7cc6dbffb..ebc884678 100644 --- a/doc/man/gnunet-download-manager.1 +++ b/doc/man/gnunet-download-manager.1 | |||
| @@ -47,7 +47,7 @@ downloads. | |||
| 47 | ~/.gnunet-download-manager.scm | 47 | ~/.gnunet-download-manager.scm |
| 48 | Configuration file. | 48 | Configuration file. |
| 49 | .SH BUGS | 49 | .SH BUGS |
| 50 | Report bugs by using mantis <https://gnunet.org/bugs/> or by sending | 50 | Report bugs by using mantis <https://bugs.gnunet.org/> or by sending |
| 51 | electronic mail to <gnunet-developers@gnu.org>. | 51 | electronic mail to <gnunet-developers@gnu.org>. |
| 52 | .PP | 52 | .PP |
| 53 | Furthermore it is assumed that gnunet-download-manager is no longer | 53 | Furthermore it is assumed that gnunet-download-manager is no longer |