Mentions légales du service
Skip to content
GitLab
Explore
Sign in
belenios
belenios
Repository
belenios
opam-bootstrap.sh
Find file
Blame
History
Permalink
Rewrite opam-bootstrap.sh to put bootstrap dir outside of OPAMROOT
· 0ee309d8
Stephane Glondu
authored
Jan 08, 2014
Because OPAM deletes OPAMROOT in some circumstances...
0ee309d8