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)
Fix link in Mutex doc

See merge request simgrid/simgrid!25


Trivial merge