aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/articles/FOCUS_D_files/header-attrs-2.6/header-attrs.js
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/articles/FOCUS_D_files/header-attrs-2.6/header-attrs.js
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/articles/FOCUS_D_files/header-attrs-2.6/header-attrs.js')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint