Skip to content

v7.0.10

Choose a tag to compare

View all tags
@plttn plttn released this 04 Apr 17:47
· 129 commits to main since this release
v7.0.10
7780848
This commit was signed with the committer’s verified signature.
plttn Jack Platten
SSH Key Fingerprint: WcR6bOFEhDS6tnZTwlJWarqchxm58pH3uCAH001ABIc
Verified
Learn about vigilant mode.

Bug fixes / improvements

  • Use git branch color for jj parentheses
  • add coloration to lean_16
Assets 2
Loading