Skip to content

Use opam2 as opam no longer exists#53

Open
stevenzeck wants to merge 2 commits intomasterfrom
ocp-indent-fix
Open

Use opam2 as opam no longer exists#53
stevenzeck wants to merge 2 commits intomasterfrom
ocp-indent-fix

Commits

Commits on Jan 25, 2020