aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-10-21 19:52:22 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2019-10-21 19:52:22 +0200
commit23258f4aa2faceb7b7f23c5386b2803b3a8e16ca (patch)
treeec2ae05bf3884eb550ca67eba818568634fe84b3 /.gitignore
parent41a3bca7da58f1df9872ba1071af31e6d8006de0 (diff)
Skip an offensive test on Travis
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint