summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--developers-manual.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/developers-manual.rst b/developers-manual.rst
index a569478..3b71d9e 100644
--- a/developers-manual.rst
+++ b/developers-manual.rst
@@ -837,7 +837,7 @@ Code Coverage
Code coverage is done with the Gcov / Lcov
(http://ltp.sourceforge.net/coverage/lcov.php) combo, and it is run
nightly (once a day) by a Buildbot worker. The coverage results are
-then published at ``https://lcov.taler.net/``.
+then published at https://lcov.taler.net/ .
Coding Conventions