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)
Bootstrap son-emu CI


Trivial merge