From: Martin Quinson Date: Tue, 19 Nov 2019 00:13:06 +0000 (+0100) Subject: Merge branch 'xbt_random' into 'master' X-Git-Tag: v3.25~386 X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5089a0a98b27f5eeee62321dff4f025f1648f025 Merge branch 'xbt_random' into 'master' A module for RNG calls See merge request simgrid/simgrid!20 --- 5089a0a98b27f5eeee62321dff4f025f1648f025