Skip to content

Update opam switch creation instructions#69

Open
tmcgilchrist wants to merge 1 commit intomainfrom
tmcgilchrist-patch-1
Open

Update opam switch creation instructions#69
tmcgilchrist wants to merge 1 commit intomainfrom
tmcgilchrist-patch-1

Commits

Commits on Jan 3, 2024