diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-10-15 13:04:14 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-10-15 13:04:14 +0200 |
| commit | 204bff8546cbd52533e36853b10b181d46fb2767 (patch) | |
| tree | 52b2098f4eb6bb1e0a5def40be7467473b4790d3 /check.log | |
| parent | 5b1179f0daff9077e1370065f9b9f03a2d0e0450 (diff) | |
Don't run saemix examples on travis for now
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions