tree 95f402b55bf3f37fa70e5f4b729ac1e387161422
parent fef771ff66b6ac7ed8aa2e10c8392026107ff7af
parent f5a9169c0af28f1be3e878d12c7905562e513c1b
author peusterm <manuel.peuster@uni-paderborn.de> 1457375179 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1457375179 +0100

Merge pull request #38 from cgeoffroy/pr-bootsrap_ci

Bootstrap son-emu CI