Skip to content

Remove opam-repository from the dockerfiles created by dockerfile-opam#87

Open
kit-ty-kate wants to merge 1 commit intoocurrent:masterfrom kit-ty-kate:no-opam-repo
+6-13

Commits