Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
lutin
src
version.ml
Find file
Blame
History
Permalink
Add the seed (back!) into the rif file generated by lurettetop
· 6a277aeb
Erwan Jahier
authored
Nov 10, 2016
Also, install the manual in the lib install directory.
6a277aeb