Chris Lovett 2ca4188fc3 doc: somehow wsl2.md was created so the page on https://leanprover.github.io/lean4/doc/make/wsl2.html is empty. This fixes that.		2021-09-23 23:26:35 +02:00
..
bootstrap.md	doc: add wsl setup docs and reorganize a new "dev" folder	2021-09-23 09:21:39 +02:00
commit_convention.md	doc: add wsl setup docs and reorganize a new "dev" folder	2021-09-23 09:21:39 +02:00
cpp_coding_style.md	doc: add wsl setup docs and reorganize a new "dev" folder	2021-09-23 09:21:39 +02:00
debugging.md	doc: add wsl setup docs and reorganize a new "dev" folder	2021-09-23 09:21:39 +02:00
fixing_tests.md	doc: add wsl setup docs and reorganize a new "dev" folder	2021-09-23 09:21:39 +02:00
index.md	doc: somehow wsl2.md was created so the page on https://leanprover.github.io/lean4/doc/make/wsl2.html is empty. This fixes that.	2021-09-23 23:26:35 +02:00
mdbook.md	doc: add wsl setup docs and reorganize a new "dev" folder	2021-09-23 09:21:39 +02:00
testing.md	doc: add wsl setup docs and reorganize a new "dev" folder	2021-09-23 09:21:39 +02:00