Improvements to opam init
"Git" menu on Windows
#3653
Job | Run time |
---|---|
6s | |
6s |
opam init
"Git" menu on Windows
#3653
Job | Run time |
---|---|
6s | |
6s |