Skip to content

feat: customizable occurrence highlighting#371

Closed
david-christiansen wants to merge 1 commit intoleanprover:masterfrom david-christiansen:toggleable-text-highlight
+73-33

Commits

Commits on Dec 6, 2023