| commit | 233754a507b3ae63700afb34d6da1abbc17cdda9 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Mar 07 19:26:19 2016 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Mar 07 19:26:19 2016 +0100 |
| tree | 95f402b55bf3f37fa70e5f4b729ac1e387161422 | |
| parent | fef771ff66b6ac7ed8aa2e10c8392026107ff7af [diff] | |
| parent | f5a9169c0af28f1be3e878d12c7905562e513c1b [diff] |
Merge pull request #38 from cgeoffroy/pr-bootsrap_ci Bootstrap son-emu CI