Skip to content

v0.0.197-pre

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 Mar 11:33
· 191 commits to master since this release
v0.0.197-pre
ad0a17f
  • Adjust padding of 'unsolved goal' marker to 1ch instead of 1em so that it feels like it is placed consistent at the end of the text (#587)
Assets 3
Loading