diff options
-rw-r--r-- | doc/onboarding.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/onboarding.texi b/doc/onboarding.texi index e0d3dc4..93fb752 100644 --- a/doc/onboarding.texi +++ b/doc/onboarding.texi @@ -534,6 +534,6 @@ reserved to "admin" users. @chapter 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 @code{https://lcov.wild.gv.taler.net/}. +coverage results are then published at @code{https://lcov.taler.net/}. @bye |