diff options
| -rw-r--r-- | developers-manual.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/developers-manual.rst b/developers-manual.rst index a569478b..3b71d9ea 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 |