aboutsummaryrefslogtreecommitdiff
path: root/docs/dev
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2022-10-25 15:02:14 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2022-10-25 15:02:14 +0200
commit32e73fbbda5e09e4ccb98857cea7cdc140a84254 (patch)
treede1e1194fc3ec584c36be397ae14496a33026743 /docs/dev
parente514f8235ee5398da5c5c83d472ca99dd5324066 (diff)
Install covr on travis to restore codecov coverage
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint