Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
lutin
src
version.ml
Find file
Blame
History
Permalink
Fix the rdbg/lurette mode divergence of the random generator.
· 35dea30a
Erwan Jahier
authored
Feb 09, 2016
35dea30a