aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2018-09-21 18:39:39 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2018-09-21 18:39:57 +0200
commit89b185c58b7a7328d11c70c5afff1e377a69eeef (patch)
treed96b4b1b97dc108e33247023f7a0de649a1a368d /.gitignore
parent0ff4516cfba18b9230047eb423aca938fba02410 (diff)
Relax another test precision for travis
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint