Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'surf_precision' into 'master'
authorAugustin Degomme <adegomme@gmail.com>
Tue, 25 Feb 2020 10:34:10 +0000 (11:34 +0100)
committerAugustin Degomme <adegomme@gmail.com>
Tue, 25 Feb 2020 10:34:10 +0000 (11:34 +0100)
Surf precision

See merge request simgrid/simgrid!32


Trivial merge