diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-06 08:09:53 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-06 08:09:53 +0200 |
| commit | 64201636ce58f54b42394efa4f837fdc70a93e34 (patch) | |
| tree | 024f30709cc21c77a257b12cb9e65a26814ed46c /docs/reference/schaefer07_complex_case.html | |
| parent | 43d15fe2c2ecc570ad5edfba0e75ae9b22ac2080 (diff) | |
Remove codecov badge, as the link does not work
Also, every time I would like to log in to codecov.io with my github
account, it tells me that it wants complete read and write access to all
my repositories, which I do not want to grant for obvious reasons.
Diffstat (limited to 'docs/reference/schaefer07_complex_case.html')
0 files changed, 0 insertions, 0 deletions