diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-15 20:19:32 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-15 20:19:32 +0200 |
commit | fb24301b74ecc99b4c20f9e6bb5e25c339a709a0 (patch) | |
tree | 8462f811863aad1be9e90e6c477a05f67f73ec03 /vignettes/FOCUS_D.html | |
parent | f215080efba4097ccdaa2d1208edd36c26d7978a (diff) |
The tests run longer now, so make travis wait
Diffstat (limited to 'vignettes/FOCUS_D.html')
0 files changed, 0 insertions, 0 deletions