Skip to content

doc: fix default format for lake init - #921

Open
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:lake-toml
Open

doc: fix default format for lake init#921
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:lake-toml

doc: fix default format for lake init

7b64a6c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view