diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-10-21 19:52:22 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-10-21 19:52:22 +0200 |
| commit | 23258f4aa2faceb7b7f23c5386b2803b3a8e16ca (patch) | |
| tree | ec2ae05bf3884eb550ca67eba818568634fe84b3 /.gitignore | |
| parent | 41a3bca7da58f1df9872ba1071af31e6d8006de0 (diff) | |
Skip an offensive test on Travis
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions