Merge pull request #201 from cgeoffroy/pr/add_ci_tests
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 6 Mar 2017 15:53:40 +0000 (16:53 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 6 Mar 2017 15:53:40 +0000 (16:53 +0100)
commit07e8a120672ecf1844a76be6eca3c911c67e119b
tree71cc00a0ab2db9646abde16458ecd395ce134eae
parent2dc3217bc7b2c60c511cb621fd4a77ec50265a6e
parent549e20fa8370d163c45b1e9b9e100baf2148c1e2
Merge pull request #201 from cgeoffroy/pr/add_ci_tests

Adding a new ci test