| commit | 07e8a120672ecf1844a76be6eca3c911c67e119b | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Mar 06 16:53:40 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Mar 06 16:53:40 2017 +0100 |
| tree | 71cc00a0ab2db9646abde16458ecd395ce134eae | |
| parent | 2dc3217bc7b2c60c511cb621fd4a77ec50265a6e [diff] | |
| parent | 549e20fa8370d163c45b1e9b9e100baf2148c1e2 [diff] |
Merge pull request #201 from cgeoffroy/pr/add_ci_tests Adding a new ci test