aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2018-11-26 09:36:03 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2018-11-26 09:36:03 +0100
commit7aaa293d43989834be53d78298629aa3d23dc9a7 (patch)
treef7394767b73a76ec1eb72714210475fcebf7132e /GNUmakefile
parent62e66eb483aef4edcfd839e475354ef1ddb9e49f (diff)
Relax testing strictness again for travis
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint