Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid
authornavarro <pierre.navarro@imag.fr>
Fri, 19 Oct 2012 14:31:56 +0000 (07:31 -0700)
committernavarro <pierre.navarro@imag.fr>
Fri, 19 Oct 2012 14:31:56 +0000 (07:31 -0700)

Trivial merge