aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/reference/D24_2014.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2022-03-01 15:22:57 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2022-03-01 15:22:57 +0100
commitccae8c02b1e6a30911b9d1efdb388f30f9c9cb78 (patch)
tree92d8967c13629b0fc7c324a98e0bbc6696dfd551 /docs/dev/reference/D24_2014.html
parenteae89711fe9fb104d7e708a1c93270d933d6068a (diff)
Let travis wait for covr
as the last build timed out after not receiving output for 10 min in this step.
Diffstat (limited to 'docs/dev/reference/D24_2014.html')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint