tree 71cc00a0ab2db9646abde16458ecd395ce134eae
parent 2dc3217bc7b2c60c511cb621fd4a77ec50265a6e
parent 549e20fa8370d163c45b1e9b9e100baf2148c1e2
author peusterm <manuel.peuster@uni-paderborn.de> 1488815620 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1488815620 +0100

Merge pull request #201 from cgeoffroy/pr/add_ci_tests

Adding a new ci test