v0.0.194
·
202 commits
to master
since this release
- Adjust the setup guide and the Elan installation prompt to not suggest that installing Elan also installs Lean (#577)