Skip to content

Port build to dune#40

Open
Leonidas-from-XIV wants to merge 8 commits intoocaml-community:masterfrom
Leonidas-from-XIV:dunify
Open

Port build to dune#40
Leonidas-from-XIV wants to merge 8 commits intoocaml-community:masterfrom
Leonidas-from-XIV:dunify

Commits

Commits on Jun 28, 2022

Commits on Jun 29, 2022