Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid
authordegomme <augustin.degomme@unibas.ch>
Tue, 28 Jun 2016 14:25:24 +0000 (16:25 +0200)
committerdegomme <augustin.degomme@unibas.ch>
Tue, 28 Jun 2016 14:25:24 +0000 (16:25 +0200)

Trivial merge