Skip to content

Use dune to generate opam files#19

Open
georgyo wants to merge 1 commit intohaesbaert:masterfrom
georgyo:dune
Open

Use dune to generate opam files#19
georgyo wants to merge 1 commit intohaesbaert:masterfrom
georgyo:dune

Commits

Commits on Jul 24, 2023