diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-01-31 15:53:36 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-01-31 15:53:36 +0100 |
| commit | df28e04e163b5fd13fc4d23ed677b0b20f578dda (patch) | |
| tree | 32767ac4c345d4f0b91b8e0db9745191e5344498 /docs/index.html | |
| parent | 54eb679cb599042b33d67e101687dd451c4b53fe (diff) | |
Relax another test for Travis
Diffstat (limited to 'docs/index.html')
0 files changed, 0 insertions, 0 deletions