diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2021-11-19 02:30:36 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-11-19 02:30:36 +0100 |
commit | c9819ab029bb2386d25bfa9be850c9f10478188e (patch) | |
tree | 0d3dd8ec01be671e65fe6dee334e8b3ffe769e4f /DESCRIPTION | |
parent | ee867b11c38a6c0d97b999986f78cd014fd2bfd1 (diff) |
Don't run pai example on Travis...
Diffstat (limited to 'DESCRIPTION')
0 files changed, 0 insertions, 0 deletions