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
commit_convention.md
cpp_coding_style.md
debugging.md
fixing_tests.md
index.md
mdbook.md
testing.md