chore: bump subverso dependency - Githubissues

leanprover / verso

Lean documentation authoring tool

Apache License 2.0

125 stars 14 forks source link

chore: bump subverso dependency #232

Closed david-christiansen closed 1 week ago

david-christiansen commented 1 week ago

This makes whole-module highlighting available to downstream clients.