Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
doc
lutin-man
lutin-man.pdf
Find file
History
Permalink
Build: fix a rule in the opam file (the remove script is in etc/lutin, not etc/Lutin)
· e7f01a6d
erwan
authored
Aug 22, 2019
e7f01a6d