typo and link to coverage #3

Merged

muellerr merged 2 commits from add-link-to-coverage into main 2023-12-01 16:36:02 +01:00

Conversation 0 Commits 2 Files Changed 2 +15 -5

2 Commits

Author	SHA1	Message	Date
Robin Mueller	8c2a1f9071	use relative links for some hrefs	2023-12-01 16:32:40 +01:00
Robin Mueller	8c5e547779	typo and link to coverage	2023-12-01 16:24:12 +01:00