Skip to content
This repository was archived by the owner on May 8, 2026. It is now read-only.

1.5e

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 Jan 19:35
1.5e
2db9ce0
This commit was signed with the committer’s verified signature.
urdh Simon Sigurdhsson
GPG key ID: 10F0108403E60E34
Verified
Learn about vigilant mode.
  • Fix incompatibilities with glossaries (#47)
  • Use minted2 instead of minted
Assets 3
Loading