Skip to content

v0.13.5

Pre-release
Pre-release
Compare
Choose a tag to compare
@github-actions github-actions released this 01 Sep 12:11
v0.13.5
This tag was signed with the committer’s verified signature.
d-biehl Daniel Biehl
GPG key ID: 988F17F6091D1269
Verified
Learn about vigilant mode.
b408999
This commit was signed with the committer’s verified signature.
d-biehl Daniel Biehl
GPG key ID: 988F17F6091D1269
Verified
Learn about vigilant mode.
  • some fixes in analysing and highlightning
Assets 5
Loading