commit ff07b647ec61dd0c0661535d130091197a34779f
parent c151dc301b2f426a7b649d0c3e3ed0d7f2fdd8d1
Author: ng0 <ng0@taler.net>
Date: Tue, 1 Oct 2019 11:53:21 +0000
instead of literal "*" use of emphasis seemed to be intended.
revert if wrong and add a comment.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/onboarding.rst b/onboarding.rst
@@ -394,7 +394,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
+*nightly* (once a day) by a Buildbot worker. The coverage results are
then published at ``https://lcov.taler.net/``.
