aboutsummaryrefslogtreecommitdiff
path: root/docs/articles/web_only/FOCUS_Z_files/header-attrs-2.7
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/articles/web_only/FOCUS_Z_files/header-attrs-2.7
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/articles/web_only/FOCUS_Z_files/header-attrs-2.7')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint