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 /GNUmakefile | |
| parent | ee867b11c38a6c0d97b999986f78cd014fd2bfd1 (diff) | |
Don't run pai example on Travis...
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions