Skip to content
GitLab
Explore
Sign in
Register
Admin message
Gitlab has been updated. More info
here
.
VEBER Philippe
codepi
Repository
codepi
reviewphiltrans.opam
Find file
Blame
History
Permalink
set opam file and dune-project
· ab0d4fe8
Philippe Veber
authored
Feb 06, 2020
ab0d4fe8