diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2018-09-21 18:39:39 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2018-09-21 18:39:57 +0200 |
| commit | 89b185c58b7a7328d11c70c5afff1e377a69eeef (patch) | |
| tree | d96b4b1b97dc108e33247023f7a0de649a1a368d /.gitignore | |
| parent | 0ff4516cfba18b9230047eb423aca938fba02410 (diff) | |
Relax another test precision for travis
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions