diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2022-03-01 15:22:57 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-03-01 15:22:57 +0100 |
commit | ccae8c02b1e6a30911b9d1efdb388f30f9c9cb78 (patch) | |
tree | 92d8967c13629b0fc7c324a98e0bbc6696dfd551 /docs/dev/articles/FOCUS_D_files/header-attrs-2.6/header-attrs.js | |
parent | eae89711fe9fb104d7e708a1c93270d933d6068a (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