Merge pull request #38 from cgeoffroy/pr-bootsrap_ci
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 7 Mar 2016 18:26:19 +0000 (19:26 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 7 Mar 2016 18:26:19 +0000 (19:26 +0100)
commit233754a507b3ae63700afb34d6da1abbc17cdda9
tree95f402b55bf3f37fa70e5f4b729ac1e387161422
parentfef771ff66b6ac7ed8aa2e10c8392026107ff7af
parentf5a9169c0af28f1be3e878d12c7905562e513c1b
Merge pull request #38 from cgeoffroy/pr-bootsrap_ci

Bootstrap son-emu CI