Skip to content

Disable code formatting in dune-project.#47

Merged
hannesm merged 1 commit intomirage:mainfrom tmcgilchrist:patch-1Dec 7, 2022

Commits

Commits on Dec 7, 2022