aboutsummaryrefslogtreecommitdiff
path: root/check.log
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2020-10-15 13:04:14 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2020-10-15 13:04:14 +0200
commit204bff8546cbd52533e36853b10b181d46fb2767 (patch)
tree52b2098f4eb6bb1e0a5def40be7467473b4790d3 /check.log
parent5b1179f0daff9077e1370065f9b9f03a2d0e0450 (diff)
Don't run saemix examples on travis for now
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint