twister

commit 1f17d1e0e647f435ec85170021a6efc00cfab63a
parent a99ca04c8f9a458453fafb53bc0083ea91fb8513
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date:   Thu, 13 Jun 2019 01:51:29 +0200

remove redundant information

Diffstat:
M
web/index.html
 | 
3
+--

1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/web/index.html b/web/index.html
@@ -29,10 +29,9 @@
 
   <h4>Bugtrack</h4>
   <p>
-  The Twister uses Mantis for bugtracking. 
   Visit <a href="https://bugs.gnunet.org/bugs">https://bugs.gnunet.org/bugs</a>
   to report a bug.  Please make sure you report bugs
-  under Twister and not under any of the other projects.
+  under <em>Twister</em> and not under any of the other projects.
 
   <h4>Contact</h4>
   Marcello Stanisci is the Twister's maintainer; he is reachable