v0.0.203

github-actions released this 17 Apr 12:37

· 171 commits to master since this release

ba0d7e4

Make Lean files in .elan and .lake read-only (#608)
Add error when opening project that contains a Lakefile but no lean-toolchain file (#610)

Assets 3