v0.0.131

github-actions released this 18 Mar 09:20

· 410 commits to master since this release

b5c73f3

Improve error messages when trying to set up a project without Lean or Git (#407)
Revert auto-closing angle brackets because this was causing conflicts with other abbreviations (#410)

Assets 3