aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2021-11-19 02:30:36 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2021-11-19 02:30:36 +0100
commitc9819ab029bb2386d25bfa9be850c9f10478188e (patch)
tree0d3dd8ec01be671e65fe6dee334e8b3ffe769e4f /docs
parentee867b11c38a6c0d97b999986f78cd014fd2bfd1 (diff)
Don't run pai example on Travis...
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint