Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'doc' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 4 Dec 2019 23:57:10 +0000 (00:57 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 4 Dec 2019 23:57:10 +0000 (00:57 +0100)
commitc864f7396a94658545769fb9c28e9ff7cef02530
tree13f51c99ed3834ea38fc2aa377582677c28c8071
parentce2c1e5bd59b2d28d3361a0f2d31b6ce309a0595
parent17015166daf4c69a05fe412053880c80c5333d87
Merge branch 'doc' into 'master'

Fix link in Mutex doc

See merge request simgrid/simgrid!25