summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikos Mavrogiannopoulos <nmav@redhat.com>2017-02-21 07:52:36 +0100
committerNikos Mavrogiannopoulos <nmav@redhat.com>2017-02-21 07:52:38 +0100
commita275f27ffc96d94296a349b59c9d0d74273a6d13 (patch)
tree0599b3788e931c6d2ea102559ebaf75d8c58575c
parentc970a13a1c304b4d60b79c0a81a5702ba5a91b2e (diff)
downloadgnutls-a275f27ffc96d94296a349b59c9d0d74273a6d13.tar.gz
devel: removed link to reporting bugs
This is already present on the navigation bar
-rw-r--r--devel.wml3
1 files changed, 0 insertions, 3 deletions
diff --git a/devel.wml b/devel.wml
index 6269693dde..c729c8d6c7 100644
--- a/devel.wml
+++ b/devel.wml
@@ -1,8 +1,5 @@
#include 'common.wml' page="Development"
-<h1>Reporting bugs</h1>
-To report a bug, see <a href="support.html">the dedicated page</a>.
-
<h1>API and ABI</h1>
<p>
Our goal is to deliver a stable API and ABI for the library, but on certain