Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
tools
init_opam_switch.sh
Find file
Blame
History
Permalink
[script] Don't initialize the opam switch with cduce packages.
· d83e713e
Kim Nguyễn
authored
Apr 04, 2021
d83e713e