aboutsummaryrefslogtreecommitdiff
path: root/docs/articles/web_only/benchmarks_files/header-attrs-2.7
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-04-06 08:09:53 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2023-04-06 08:09:53 +0200
commit64201636ce58f54b42394efa4f837fdc70a93e34 (patch)
tree024f30709cc21c77a257b12cb9e65a26814ed46c /docs/articles/web_only/benchmarks_files/header-attrs-2.7
parent43d15fe2c2ecc570ad5edfba0e75ae9b22ac2080 (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/articles/web_only/benchmarks_files/header-attrs-2.7')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint