Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'noRngStream' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 19 Oct 2019 16:53:02 +0000 (18:53 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 19 Oct 2019 16:53:02 +0000 (18:53 +0200)
Removing RngStream

See merge request simgrid/simgrid!19


Trivial merge