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/articles/FOCUS_D_files/header-attrs-2.7/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/articles/FOCUS_D_files/header-attrs-2.7/header-attrs.js')
0 files changed, 0 insertions, 0 deletions