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)
Adding a new ci test


Trivial merge