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>
Sun, 3 Apr 2016 22:16:36 +0000 (00:16 +0200)
committerdegomme <augustin.degomme@unibas.ch>
Sun, 3 Apr 2016 22:16:36 +0000 (00:16 +0200)

Trivial merge