Skip to content

Fix local build output directory path in README#277

Open
toh995 wants to merge 1 commit into
leanprover:masterfrom
toh995:patch-1
Open

Fix local build output directory path in README#277
toh995 wants to merge 1 commit into
leanprover:masterfrom
toh995:patch-1

Fix local build output directory path in README

fadbb00
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs