Marco Ricci
Remove coverage from documentation output
Marco Ricci commited 94ab987 at 2024-07-14 12:05:48