diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2012-12-06 09:35:22 +0100 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2012-12-06 09:35:22 +0100 |
commit | fa3c0320a48983a47e704ac03f5379cd9df90f0b (patch) | |
tree | 488be357dc65c25af878b7bd19eb2691a58a69dd /devel.html | |
parent | fb5811f60e0716132db26c35cdb9f21af79ed9ff (diff) | |
download | gnutls-fa3c0320a48983a47e704ac03f5379cd9df90f0b.tar.gz |
corrected typo
Diffstat (limited to 'devel.html')
-rw-r--r-- | devel.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel.html b/devel.html index 7e56205f4c..0fe3405e54 100644 --- a/devel.html +++ b/devel.html @@ -131,7 +131,7 @@ table.news td { </div><!-- /inner --> </div><!-- /navigation --> <div id="content" class="inner"> -<p>To report a bug please use the <a href="mailto:bug-gnutls@gnu.org">bug report address</a> or the <a href="lists.html">mailing lists<a>. +<p>To report a bug please use the <a href="mailto:bug-gnutls@gnu.org">bug report address</a> or the <a href="lists.html">mailing lists</a>. </p> <p>To browse the source code a web interface exists at <a href="http://repo.or.cz/w/gnutls.git">repo.or.cz</a>. If you want to build the latest GnuTLS code from the repository, use the following commands: |