Skip to content

v0.0.184

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 28 Oct 10:39
· 3 commits to master since this release
v0.0.184
9ea8703
  • Improve UX of progress bars (#542)
  • Add information to the manual about default settings set by vscode-lean4 (#540)
Assets 3
Loading