Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into 'master'
authorAugustin Degomme <adegomme@gmail.com>
Mon, 2 Dec 2019 12:39:45 +0000 (13:39 +0100)
committerAugustin Degomme <adegomme@gmail.com>
Mon, 2 Dec 2019 12:39:45 +0000 (13:39 +0100)
Master

See merge request simgrid/simgrid!23


Trivial merge