Mentions légales du service
Skip to content
GitLab
Explore
Sign in
belenios
belenios
Repository
belenios
Dockerfile_base_environment
Find file
Blame
History
Permalink
Dockerfiles: use directly opam-bootstrap.sh and avoid sudo
· 0ee41e34
Stéphane Glondu
authored
Dec 06, 2018
0ee41e34