diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2018-07-16 17:17:26 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2018-07-16 17:17:26 +0200 |
| commit | e636c17f0d354a8e74546fc1469431dbe502dc76 (patch) | |
| tree | cb8420a0fef18d1fcab522146119ef35291fd495 /docs/news/index.html | |
| parent | e6237f287f68423dcca9f475bb81dd9c6f3740b1 (diff) | |
Attempt to fix the problem discovered by Anna Burniol Figols
but then the tests fail...
Diffstat (limited to 'docs/news/index.html')
0 files changed, 0 insertions, 0 deletions